Zkapp_call_forest (mina_base.Mina_base.Zkapp_call

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

type account_update =
  ( Account_update.t, Zkapp_command.Digest.Account_update.t ) With_hash.t

val empty : unit -> 'a list

val if_ : bool -> then_:'a -> else_:'a -> 'a

val is_empty : 'a list -> bool

val pop_exn : t -> (Account_update.t * t) * t

val push : 
  account_update:Account_update.t ->
  calls:
    ( ( Account_update.t,
        Zkapp_command.Call_forest.Digest.Account_update.t,
        Zkapp_command.Call_forest.Digest.Forest.t )
        Zkapp_command.Call_forest.Tree.t,
      Zkapp_command.Call_forest.Digest.Forest.t )
      With_stack_hash.t
      list ->
  ( Account_update.t,
    Zkapp_command.Call_forest.Digest.Account_update.t,
    Zkapp_command.Call_forest.Digest.Forest.t )
    Zkapp_command.Call_forest.t ->
  ( Account_update.t,
    Zkapp_command.Call_forest.Digest.Account_update.t,
    Zkapp_command.Call_forest.Digest.Forest.t )
    Zkapp_command.Call_forest.t

val hash : t -> Zkapp_command.Call_forest.Digest.Forest.t

module Checked : sig ... end

val typ : ( Checked.t, t ) Snark_params.Tick.Run.Typ.t