Module Stable.V1

type ('account, 'account_transition, 'vk) t = {
predicate : 'account;
account_transition : 'account_transition;
account_vk : 'vk;
}
val to_yojson : 'account 'account_transition 'vk. ( 'account -> Yojson.Safe.t ) -> ( 'account_transition -> Yojson.Safe.t ) -> ( 'vk -> Yojson.Safe.t ) -> ( 'account, 'account_transition, 'vk ) t -> Yojson.Safe.t
val of_yojson : 'account 'account_transition 'vk. ( Yojson.Safe.t -> 'account Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'account_transition Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'vk Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'account, 'account_transition, 'vk ) 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 bin_shape_t : Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.t
val bin_size_t : 'account 'account_transition 'vk. 'account Core_kernel.Bin_prot.Size.sizer -> 'account_transition Core_kernel.Bin_prot.Size.sizer -> 'vk Core_kernel.Bin_prot.Size.sizer -> ( 'account, 'account_transition, 'vk ) t Core_kernel.Bin_prot.Size.sizer
val bin_write_t : 'account 'account_transition 'vk. 'account Core_kernel.Bin_prot.Write.writer -> 'account_transition Core_kernel.Bin_prot.Write.writer -> 'vk Core_kernel.Bin_prot.Write.writer -> ( 'account, 'account_transition, 'vk ) t Core_kernel.Bin_prot.Write.writer
val bin_writer_t : 'a Core_kernel.Bin_prot.Type_class.writer -> 'b Core_kernel.Bin_prot.Type_class.writer -> 'c Core_kernel.Bin_prot.Type_class.writer -> ( 'd, 'e, 'f ) t Core_kernel.Bin_prot.Type_class.writer
val __bin_read_t__ : 'account 'account_transition 'vk. 'account Core_kernel.Bin_prot.Read.reader -> 'account_transition Core_kernel.Bin_prot.Read.reader -> 'vk Core_kernel.Bin_prot.Read.reader -> ( int -> ( 'account, 'account_transition, 'vk ) t ) Core_kernel.Bin_prot.Read.reader
val bin_read_t : 'account 'account_transition 'vk. 'account Core_kernel.Bin_prot.Read.reader -> 'account_transition Core_kernel.Bin_prot.Read.reader -> 'vk Core_kernel.Bin_prot.Read.reader -> ( 'account, 'account_transition, 'vk ) t Core_kernel.Bin_prot.Read.reader
val bin_reader_t : 'a Core_kernel.Bin_prot.Type_class.reader -> 'b Core_kernel.Bin_prot.Type_class.reader -> 'c Core_kernel.Bin_prot.Type_class.reader -> ( 'd, 'e, 'f ) t Core_kernel.Bin_prot.Type_class.reader
val bin_t : 'a Core_kernel.Bin_prot.Type_class.t -> 'b Core_kernel.Bin_prot.Type_class.t -> 'c Core_kernel.Bin_prot.Type_class.t -> ( 'd, 'e, 'f ) t Core_kernel.Bin_prot.Type_class.t
val version : int
val __versioned__ : unit
val to_hlist : ( 'account, 'account_transition, 'vk ) t -> ( unit, 'account -> 'account_transition -> 'vk -> unit ) H_list.t
val of_hlist : ( unit, 'account -> 'account_transition -> 'vk -> unit ) H_list.t -> ( 'account, 'account_transition, 'vk ) t
val t_of_sexp : 'account 'account_transition 'vk. ( Ppx_sexp_conv_lib.Sexp.t -> 'account ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'account_transition ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'vk ) -> Ppx_sexp_conv_lib.Sexp.t -> ( 'account, 'account_transition, 'vk ) t
val sexp_of_t : 'account 'account_transition 'vk. ( 'account -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'account_transition -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'vk -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'account, 'account_transition, 'vk ) t -> Ppx_sexp_conv_lib.Sexp.t
val equal : 'account 'account_transition 'vk. ( 'account -> 'account -> bool ) -> ( 'account_transition -> 'account_transition -> bool ) -> ( 'vk -> 'vk -> bool ) -> ( 'account, 'account_transition, 'vk ) t -> ( 'account, 'account_transition, 'vk ) t -> bool
val hash_fold_t : 'account 'account_transition 'vk. ( Ppx_hash_lib.Std.Hash.state -> 'account -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'account_transition -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'vk -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> ( 'account, 'account_transition, 'vk ) t -> Ppx_hash_lib.Std.Hash.state
val compare : 'account 'account_transition 'vk. ( 'account -> 'account -> int ) -> ( 'account_transition -> 'account_transition -> int ) -> ( 'vk -> 'vk -> int ) -> ( 'account, 'account_transition, 'vk ) t -> ( 'account, 'account_transition, 'vk ) t -> int