Module COLLECTION.InnerModuleA

This comment is for InnerModuleA.

type t = collection

This comment is for t.

module InnerModuleA' : sig ... end

This comment is for InnerModuleA'.

module type InnerModuleTypeA' = sig ... end

This comment is for InnerModuleTypeA'.