Zkapp_version.Bitsinclude Snark_bits.Bits_intf.S with type t := tinclude Snark_bits.Bits_intf.Basic with type t := tval fold : t -> bool Fold_lib.Fold.tval iter : t -> f:( bool -> unit ) -> unitval to_bits : t -> bool listval of_bits : bool list -> t