Module type Ocamlary.B

type t
module Q : COLLECTION