Module Zkapp_command.Call_forest

module Tree : sig ... end
type ('a, 'b, 'c) tree = ( 'a, 'b, 'c ) Tree.t
module type Digest_intf = sig ... end
val fold : ( ( 'a, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list -> f:( 'd -> 'a -> 'd ) -> init:'d -> 'd
val iteri : ( ( 'a, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list -> f:( int -> 'a0 -> unit ) -> unit
module Stable : sig ... end
type ('account_update, 'account_update_digest, 'digest) t = ( 'account_update, 'account_update_digest, 'digest ) Stable.Latest.t
val to_yojson : 'account_update 'account_update_digest 'digest. ( 'account_update -> Yojson.Safe.t ) -> ( 'account_update_digest -> Yojson.Safe.t ) -> ( 'digest -> Yojson.Safe.t ) -> ( 'account_update, 'account_update_digest, 'digest ) t -> Yojson.Safe.t
val of_yojson : 'account_update 'account_update_digest 'digest. ( Yojson.Safe.t -> 'account_update Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'account_update_digest Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'digest Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'account_update, 'account_update_digest, 'digest ) 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 -> 'c Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'a, 'b, 'c ) t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : 'account_update 'account_update_digest 'digest. ( Ppx_sexp_conv_lib.Sexp.t -> 'account_update ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'account_update_digest ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'digest ) -> Ppx_sexp_conv_lib.Sexp.t -> ( 'account_update, 'account_update_digest, 'digest ) t
val sexp_of_t : 'account_update 'account_update_digest 'digest. ( 'account_update -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'account_update_digest -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'digest -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'account_update, 'account_update_digest, 'digest ) t -> Ppx_sexp_conv_lib.Sexp.t
val compare : 'account_update 'account_update_digest 'digest. ( 'account_update -> 'account_update -> Core_kernel__.Import.int ) -> ( 'account_update_digest -> 'account_update_digest -> Core_kernel__.Import.int ) -> ( 'digest -> 'digest -> Core_kernel__.Import.int ) -> ( 'account_update, 'account_update_digest, 'digest ) t -> ( 'account_update, 'account_update_digest, 'digest ) t -> Core_kernel__.Import.int
val equal : 'account_update 'account_update_digest 'digest. ( 'account_update -> 'account_update -> bool ) -> ( 'account_update_digest -> 'account_update_digest -> bool ) -> ( 'digest -> 'digest -> bool ) -> ( 'account_update, 'account_update_digest, 'digest ) t -> ( 'account_update, 'account_update_digest, 'digest ) t -> Core_kernel__.Import.bool
val hash_fold_t : 'account_update 'account_update_digest 'digest. ( Ppx_hash_lib.Std.Hash.state -> 'account_update -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'account_update_digest -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'digest -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> ( 'account_update, 'account_update_digest, 'digest ) t -> Ppx_hash_lib.Std.Hash.state
module Shape : sig ... end
val shape : ( 'a, 'b, 'c ) t -> Shape.t
val match_up : 'a list -> (int * 'b) list -> ('a0 * 'b0) list
val mask : ( 'p, 'h1, unit ) t -> Shape.t -> ( 'p0, 'h10, unit ) t
val of_account_updates_map : f:( 'p1 -> 'p2 ) -> account_update_depth:( 'p10 -> int ) -> 'p11 list -> ( 'p20, unit, unit ) t
val of_account_updates : account_update_depth:( 'a -> int ) -> 'a list -> ( 'b, unit, unit ) t
val to_account_updates_map : f:( depth:int -> 'a -> 'b ) -> ( 'c, 'd, 'e ) t -> 'f list
val to_account_updates : ( 'a, 'b, 'c ) t -> 'd list
val hd_account_update : ( 'a, 'b, 'c ) t -> 'd option
val map : f:( 'a -> 'b ) -> ( ( 'a, 'c, 'd ) Tree.t, 'd ) With_stack_hash.t list -> ( ( 'b, 'c, 'd ) Tree.t, 'd ) With_stack_hash.t list
val mapi : f:( int -> 'a -> 'b ) -> ( ( 'a, 'c, 'd ) Tree.t, 'd ) With_stack_hash.t list -> ( ( 'b, 'c, 'd ) Tree.t, 'd ) With_stack_hash.t list
val mapi_with_trees : ( ( 'a, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list -> f:( int -> 'a -> ( 'a, 'b, 'c ) Tree.t -> 'd ) -> ( ( 'd, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list
val deferred_mapi : f:( int -> 'a -> ( 'a, 'b, 'c ) Tree.t -> 'd Async_kernel__Deferred.t ) -> ( ( 'a, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list -> ( ( 'd, 'b, 'c ) Tree.t, 'c ) With_stack_hash.t list Async_kernel.Deferred.t
val to_zkapp_command_with_hashes_list : ( 'a, 'b, 'c ) t -> ('d * 'e) list
val cons_aux : digest_account_update:( 'p -> Digest.Account_update.t ) -> ?calls: ( ( 'p0, Digest.Account_update.t, Digest.Forest.t ) Tree.t, Digest.Forest.t ) With_stack_hash.t list -> 'p1 -> ( 'p0, Digest.Account_update.t, Digest.Forest.t ) t -> ( 'p0, Digest.Account_update.t, Digest.Forest.t ) t
val accumulate_hashes : hash_account_update:( 'a -> Digest.Account_update.t ) -> ( 'b, 'c, 'd ) t -> ( ( 'e, Digest.Account_update.t, Digest.Forest.t ) Tree.t, Digest.Forest.t ) With_stack_hash.t list
val accumulate_hashes' : ( Account_update.t, 'a, 'b ) t -> ( Account_update.t, Digest.Account_update.t, Digest.Forest.t ) t
val accumulate_hashes_predicated : ( Account_update.t, 'a, 'b ) t -> ( ( Account_update.t, Digest.Account_update.t, Digest.Forest.t ) Tree.t, Digest.Forest.t ) With_stack_hash.t list
val add_callers : ( 'account_update, 'account_update_digest, 'digest ) t -> call_type:( 'account_update0 -> Account_update.Call_type.t ) -> add_caller:( 'account_update1 -> 'id -> 'account_update_with_caller ) -> null_id:'id0 -> account_update_id:( 'account_update2 -> 'id1 ) -> ( 'account_update_with_caller0, 'account_update_digest0, 'digest0 ) t
val add_callers' : ( Account_update.Wire.t, 'h1, 'h2 ) t -> ( Account_update.t, 'h10, 'h20 ) t
val add_callers_simple : ( Account_update.Simple.t, 'h1, 'h2 ) t -> ( Account_update.t, 'h10, 'h20 ) t
val remove_callers : map_account_update_digest:( 'h1 -> 'h1' ) -> map_stack_hash:( 'h2 -> 'h2' ) -> ( 'account_update_with_caller, 'h10, 'h20 ) t -> equal_id:( 'id -> 'id0 -> bool ) -> add_call_type: ( 'account_update_with_caller0 -> Account_update.Call_type.t -> 'account_update_without_sender ) -> null_id:'id1 -> account_update_caller:( 'account_update_with_caller1 -> 'id2 ) -> ( 'account_update_without_sender0, 'h1'0, 'h2'0 ) t
module With_hashes_and_data : sig ... end
module With_hashes : sig ... end
val is_empty : ( 'a, 'b, 'c ) t -> bool
val to_list : ( 'p, 'a, 'b ) t -> 'p0 list
val exists : ( 'p, 'a, 'b ) t -> f:( 'p0 -> bool ) -> bool