Checked (mina_base.Mina_base.Zkapp_command.Call

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 : 
  account_update:Account_update.Checked.t ->
  calls:Forest.Checked.t ->
  t