Stack_frame (mina_base.Mina_base.Stack

module Stable : sig ... end

type ('caller, 'zkapp_command) t = ( 'caller, 'zkapp_command ) Stable.Latest.t =
  {

caller : 'caller;

caller_caller : 'caller;

calls : 'zkapp_command;

}

val make : caller:'a -> caller_caller:'b -> calls:'c -> ( 'd, 'e ) t

val to_yojson : 
  'caller 'zkapp_command. ( 'caller -> Yojson.Safe.t ) ->
  ( 'zkapp_command -> Yojson.Safe.t ) ->
  ( 'caller, 'zkapp_command ) t ->
  Yojson.Safe.t

val of_yojson : 
  'caller 'zkapp_command. ( Yojson.Safe.t ->
                            'caller Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'zkapp_command Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'caller, 'zkapp_command ) t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or

val calls : ( 'a, 'b ) t -> 'c

val caller_caller : ( 'a, 'b ) t -> 'c

val caller : ( 'a, 'b ) t -> 'c

module Fields : sig ... end

val t_of_sexp : 
  'caller 'zkapp_command. ( Ppx_sexp_conv_lib.Sexp.t -> 'caller ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'zkapp_command ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'caller, 'zkapp_command ) t

val sexp_of_t : 
  'caller 'zkapp_command. ( 'caller -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'zkapp_command -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'caller, 'zkapp_command ) t ->
  Ppx_sexp_conv_lib.Sexp.t

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

type ('caller, 'zkapp_command) frame = ( 'caller, 'zkapp_command ) t

val empty : value

module type Stack_frame_digest_intf = sig ... end

module Wire_types = Mina_wire_types.Mina_base.Stack_frame.Digest

module Make_sig (A : Wire_types.Types.S) : sig ... end

module Make_str (A : Wire_types.Concrete) : sig ... end

module Digest : Make_sig(Mina_wire_types__Mina_base_stack_frame.Digest.M).S

module Checked : sig ... end