Stack (mina_base.Mina_base.Pending

type t = Stack_versioned.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

type var

val data_hash : t -> Hash.t

val var_of_t : t -> var

val typ : ( var, t ) Snark_params.Tick.Typ.t

val gen : t Core_kernel.Quickcheck.Generator.t

val to_input : t -> Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val to_bits : t -> bool list

val to_bytes : t -> string

val equal_var : 
  var ->
  var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val var_to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val empty : t

val create_with : t -> t

Creates a new stack with the state stack from an existing stack

val equal_data : t -> t -> bool

val equal_state_hash : t -> t -> bool

val connected : ?prev:t option -> first:t -> second:t -> unit -> bool

The two stacks are connected. This should be used instead of `equal` to check one transaction snark statement follow the other.

val push_coinbase : Coinbase.t -> t -> t

val push_state : State_body_hash.t -> t -> t

module Checked : sig ... end