C.InnerModuleAThis 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'.