Checked (mina_base.Mina_base.Stack

type t = private Pickles.Impls.Step.Field.t

val if_ : Pickles.Impls.Step.Boolean.var -> then_:t -> else_:t -> t

val equal : t -> t -> Pickles.Impls.Step.Boolean.var

module Assert : sig ... end

val create : 
  hash_zkapp_command:
    ( 'zkapp_command -> Zkapp_command.Digest.Forest.Checked.t ) ->
  ( Token_id.Checked.t, 'zkapp_command ) frame ->
  t