Parameter Make.1-N

type t
val test_bit : t -> int -> bool
val num_bits : t -> int