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