Module Account_update.Body

val hash_fold_array : ( 'a -> 'b -> 'a ) -> 'c -> 'b Core_kernel.Array.t -> 'd
module Events' : sig ... end
module Wire : sig ... end
module Graphql_repr : sig ... end
module Simple : sig ... end
module Stable : sig ... end
type t = Stable.Latest.t = {
public_key : Signature_lib.Public_key.Compressed.t;
token_id : Token_id.t;
update : Update.t;
balance_change : ( Currency.Amount.t, Sgn.t ) Currency.Signed_poly.t;
increment_nonce : bool;
events : Events'.t;
sequence_events : Events'.t;
call_data : Pickles.Backend.Tick.Field.t;
preconditions : Preconditions.t;
use_full_commitment : bool;
caller : Token_id.t;
authorization_kind : Authorization_kind.t;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_fields_annots : string -> (string * string option) list
val t_toplevel_annots : unit -> (string * string option) list
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val compare : t -> t -> int
val authorization_kind : t -> Authorization_kind.t
val caller : t -> Token_id.t
val use_full_commitment : t -> bool
val preconditions : t -> Preconditions.t
val call_data : t -> Pickles.Backend.Tick.Field.t
val sequence_events : t -> Events'.t
val events : t -> Events'.t
val increment_nonce : t -> bool
val balance_change : t -> ( Currency.Amount.t, Sgn.t ) Currency.Signed_poly.t
val update : t -> Update.t
val token_id : t -> Token_id.t
module Fields : sig ... end
val to_wire : t -> Call_type.t -> Wire.t
val of_graphql_repr : Graphql_repr.t -> t
val to_graphql_repr : t -> call_depth:int -> Graphql_repr.t
module Fee_payer : sig ... end
val of_fee_payer : Fee_payer.t -> t
val to_simple_fee_payer : Fee_payer.t -> Simple.t
val to_fee_payer_exn : t -> Fee_payer.t
module Checked : sig ... end
val typ : unit -> ( Checked.t, t ) Snark_params.Tick.Typ.t
val dummy : t
val digest : t -> Random_oracle.Digest.t
module Digested : sig ... end
val gen : Token_id.t -> t Core_kernel__Quickcheck.Generator.t