Module Module_type_subst.Basic
  
  
   
    
     
     
      module 
       type 
       u
      
       = sig ... 
       end
      
     
     
    
   
    
     
     
      module 
       type 
       with_
      
       = u
        with 
       module 
        type 
        T
         = s
       
      
     
     
    
   
    
     
     
      module 
       type 
       u2
      
       = sig ... 
       end
      
     
     
    
   
    
     
     
      module 
       type 
       with_2
      
       = u2
        with 
       module 
        type 
        T
         = sig ... 
        end
       
      
     
     
    
   
    
     
     
      module 
       type 
       a
      
       = sig ... 
       end
      
     
     
    
   
    
     
     
      module 
       type 
       c
      
       = a
        with 
       module 
        type 
        b
         := s