A.Q
type collection
type element
module InnerModuleA : sig ... end
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'