Parameter Make.B

type t
val create : int -> t
val reset : t -> unit
val len : t -> int
val sub : t -> int -> int -> t