Account_state.Encoding
type 'b t = {
any : 'b;
empty : 'b;
}
val to_hlist : 'b t -> ( unit, 'b -> 'b -> unit ) H_list.t
val of_hlist : ( unit, 'b -> 'b -> unit ) H_list.t -> 'b t
val to_input : field_of_bool:( 'a -> 'b ) -> 'c t -> 'd Random_oracle_input.Chunked.t