Make.1-V
include Basic
type t
val length : int
val get : t -> int -> bool
val empty : t
val set : t -> int -> bool -> t