Ocamlary.C
This module type includes two signatures.
A
B
include A
type t
module Q : COLLECTION
include B with type t := t and module Q := Q