Call_forest.Tree
module Stable : sig ... end
type ('account_update, 'account_update_digest, 'digest) t =
( 'account_update, 'account_update_digest, 'digest ) Stable.Latest.t =
{
account_update : 'account_update; |
account_update_digest : 'account_update_digest; |
calls : ( ( 'account_update, 'account_update_digest, 'digest ) t, 'digest )
With_stack_hash.t
list; |
}
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 ->
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
val fold_forest :
( ( 'a, 'b, 'c ) t, 'd ) With_stack_hash.t list ->
f:( 'e -> 'f -> 'g ) ->
init:'h ->
'i
val fold : ( 'a, 'b, 'c ) t -> f:( 'd -> 'e -> 'f ) -> init:'g -> 'h
val fold_forest2_exn :
( ( 'a, 'b, 'c ) t, 'd ) With_stack_hash.t list ->
( ( 'e, 'f, 'g ) t, 'h ) With_stack_hash.t list ->
f:( 'i -> 'j -> 'k -> 'l ) ->
init:'m ->
'n
val iter_forest2_exn :
( ( 'a, 'b, 'c ) t, 'c ) With_stack_hash.t list ->
( ( 'd, 'e, 'f ) t, 'f ) With_stack_hash.t list ->
f:( 'g -> 'h -> unit ) ->
unit
val mapi_forest_with_trees' :
i:int ->
( ( 'a, 'b, 'c ) t, 'd ) With_stack_hash.t list ->
f:( int -> 'e -> ( 'a, 'b, 'c ) t -> 'f ) ->
int * ( ( 'g, 'h, 'i ) t, 'i ) With_stack_hash.t list
val mapi_forest_with_trees :
( ( 'a, 'b, 'c ) t, 'c ) With_stack_hash.t list ->
f:( int -> 'a -> ( 'a, 'b, 'c ) t -> 'd ) ->
( ( 'd, 'b, 'c ) t, 'c ) With_stack_hash.t list
val mapi_forest' :
i:int ->
( ( 'a, 'b, 'c ) t, 'c ) With_stack_hash.t list ->
f:( int -> 'd -> 'e ) ->
int * ( ( 'f, 'b, 'c ) t, 'c ) With_stack_hash.t list
val deferred_mapi_forest_with_trees' :
i:int ->
( ( 'a, 'b, 'c ) t, 'd ) With_stack_hash.t list ->
f:( int -> 'e -> ( 'a, 'b, 'c ) t -> 'f Async_kernel__Deferred.t ) ->
(int * ( ( 'g, 'h, 'i ) t, 'i ) With_stack_hash.t list)
Async_kernel__Deferred.t
val map_forest :
f:( 'a -> 'b ) ->
( ( 'c, 'd, 'e ) t, 'e ) With_stack_hash.t list ->
( ( 'f, 'd, 'e ) t, 'e ) With_stack_hash.t list
val mapi_forest :
f:( int -> 'a -> 'b ) ->
( ( 'a, 'c, 'd ) t, 'd ) With_stack_hash.t list ->
( ( 'b, 'c, 'd ) t, 'd ) With_stack_hash.t list
val deferred_map_forest :
f:( 'a -> ( 'b, 'c, 'd ) t -> 'e Async_kernel__Deferred.t ) ->
( ( 'b, 'c, 'd ) t, 'd ) With_stack_hash.t list ->
( ( 'e, 'c, 'd ) t, 'd ) With_stack_hash.t list Async_kernel.Deferred.t
val deferred_mapi_forest :
f:( int -> 'a -> ( 'a, 'b, 'c ) t -> 'd Async_kernel__Deferred.t ) ->
( ( 'a, 'b, 'c ) t, 'c ) With_stack_hash.t list ->
( ( 'd, 'b, 'c ) t, 'c ) With_stack_hash.t list Async_kernel.Deferred.t
val hash :
( 'a, Pickles.Impls.Step.Internal_Basic.Field.t, Snark_params.Tick.Field.t )
t ->
Random_oracle.Digest.t