Module Mina_state.Local_state

module Impl = Pickles.Impls.Step
include module type of struct include Mina_transaction_logic.Zkapp_command_logic.Local_state.Value end
module Stable : sig ... end
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val equal : t -> t -> bool
val compare : t -> t -> int
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 t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
type display = ( string, string, string, string, string, bool, string, int, string ) Mina_transaction_logic.Zkapp_command_logic.Local_state.t
val display_to_yojson : display -> Yojson.Safe.t
val display_of_yojson : Yojson.Safe.t -> display Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> display Ppx_deriving_yojson_runtime.error_or
val display : t -> display
val dummy : unit -> t
val empty : unit -> t
val gen : t Core_kernel.Quickcheck.Generator.t
module Checked : sig ... end
val failure_status_tbl_typ : ( unit, Mina_base.Transaction_status.Failure.Collection.t ) Impl.Typ.t
val typ : ( Checked.t, t ) Impl.Typ.t