Module type Ocamlary.A

type t
module Q : COLLECTION