Checked (mina_base.Mina_base.Account

type t

val to_input : t -> Pickles.Impls.Step.Field.t Random_oracle.Input.Chunked.t

val constant : Stable.Latest.t -> t

val equal : t -> t -> Pickles.Impls.Step.Boolean.var

val if_ : Pickles.Impls.Step.Boolean.var -> then_:t -> else_:t -> t

val of_field : Pickles.Impls.Step.Field.t -> t

val to_field_unsafe : t -> Pickles.Impls.Step.Field.t

module Assert : sig ... end