Module Mina_base.Zkapp_precondition

module A = Account
module Impl = Pickles.Impls.Step
module Closed_interval : sig ... end
val assert_ : bool -> string -> ( unit, Core_kernel__.Error.t ) Core_kernel._result
module Numeric : sig ... end
module Eq_data : sig ... end
module Hash = Eq_data
module Leaf_typs : sig ... end
module Account : sig ... end
module Protocol_state : sig ... end
module Account_type : sig ... end
module Other : sig ... end
module Poly : sig ... 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 _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
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
module Digested = Zkapp_basic.F
val digest : t -> Random_oracle.Digest.t
val accept : t
module Checked : sig ... end