Parameter Make.B

type t
val get : t -> int -> int
val dim : t -> int