
# Module type `Ocamlary.C`

This module type includes two signatures.

- it includes [`A`](./Ocamlary-module-type-A.md)
- it includes [`B`](./Ocamlary-module-type-B.md) with some substitution
```
type t
```
```
module Q : COLLECTION
```
This comment is for `CollectionModule`.
