C.InnerModuleA
type t = collection
module InnerModuleA' : sig ... end
module type InnerModuleTypeA' = sig ... end