Module type Ocamlary.C

This module type includes two signatures.

include A
type t
module Q : COLLECTION

This comment is for CollectionModule.

include B with type t := t and module Q := Q