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