Parameter `FunctorTypeOf.Collection`

This comment is for CollectionModule.

type collection

This comment is for collection.

type element

module InnerModuleA : sig ... end

This comment is for InnerModuleA.

module type InnerModuleTypeA = Collection.InnerModuleA.InnerModuleTypeA'

This comment is for InnerModuleTypeA.

Parameter FunctorTypeOf.Collection