Parameter Make_checked.2-Bits

include Snark_bits.Bits_intf.S with type t := N.t
include Snark_bits.Bits_intf.Basic with type t := N.t
val fold : N.t -> bool Fold_lib.Fold.t
val size_in_bits : int
val iter : N.t -> f:( bool -> unit ) -> unit
val to_bits : N.t -> bool list
val of_bits : bool list -> N.t