type t
val create : unit -> tval mem : t -> int -> boolval set : t -> int -> unitval unset : t -> int -> unitval copy : t -> tval iter : f:(int -> unit) -> t -> unitval size : t -> intval next_free : t -> int -> intval next_mem : t -> int -> int