Account_state.Checked
type t = Pickles.Impls.Step.Boolean.var Encoding.t
val to_input : t -> Pickles.Impls.Step.Field.t Random_oracle_input.Chunked.t
val check : t -> is_empty:Pickles.Impls.Step.Boolean.var -> Pickles.Impls.Step.Boolean.var