Include
      module 
       type 
       Not_inlined
      
       = sig ... 
       end
      
     
    
       include 
        Not_inlined
       
      
     
      module 
       type 
       Inlined
      
       = sig ... 
       end
      
     
    
      module 
       type 
       
        Not_inlined_and_closed
       
      
       = sig ... 
       end
      
     
    
       include 
        
         Not_inlined_and_closed
        
       
      
     
      module 
       type 
       
        Not_inlined_and_opened
       
      
       = sig ... 
       end
      
     
    
       include 
        
         Not_inlined_and_opened
        
       
      
     
      module 
       type 
       Inherent_Module
      
       = sig ... 
       end
      
     
    
       include 
        Inherent_Module
        
       
      
     
      module 
       type 
       Dorminant_Module
       
      
       = sig ... 
       end