Module_type_subst
      module 
       Local
      
       : sig ... 
       end
      
     
    
      module 
       type 
       s
      
       = sig ... 
       end
      
     
    
      module 
       Basic
      
       : sig ... 
       end
      
     
    
      module 
       Nested
      
       : sig ... 
       end
      
     
    
      module 
       Structural
      
       : sig ... 
       end