type t val create : int -> t val set : t -> int -> bool -> unit val get : t -> int -> bool