Checked (mina_base.Mina_base.Zkapp_call

module F = Zkapp_command.Digest.Forest.Checked

module V = Prover_value

type account_update = {

account_update : ( Account_update.Body.Checked.t,
                   Zkapp_command.Digest.Account_update.Checked.t )
                   With_hash.t;

control : Control.t Prover_value.t;

}

val account_update_typ : 
  unit ->
  ( account_update,
    ( Account_update.t, Zkapp_command.Digest.Account_update.t ) With_hash.t )
    Snark_params.Tick.Run.Typ.t

type t =
  ( ( Account_update.t,
      Zkapp_command.Digest.Account_update.t,
      Zkapp_command.Digest.Forest.t )
      Zkapp_command.Call_forest.t
      V.t,
    F.t )
    With_hash.t

val if_ : Snark_params.Tick.Boolean.var -> then_:t -> else_:t -> t

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

val empty : unit -> t

val pop_exn : t -> (account_update * t) * t

val push : account_update:account_update -> calls:t -> t -> t

val hash : t -> F.t