Typetype instance
       = int constructor
      
     
    type long
       =
                
       labeled_higher_order
         ->
       
                
       
        [ `Bar 
         | `Baz of triple
          ]
         ->
       
                
       pair 
        ->
       
                
       labeled 
        ->
       
                
       higher_order 
        ->
       
                
       
        (string -> int)
         ->
       
                
       
        (int * float * char * string * char * unit) option
         ->
       
                
       nested_pair 
        ->
       
                
       arrow 
        ->
       
                
       string ->
                                                                 
       nested_pair array
      
     
    
      module 
       type 
       X
      
       = sig ... 
       end
      
     
    type module_
       = 
       (module 
        X)
       
      
     
    type using_binary
       = 
       (int, int) binary
      
     
    
      type 'a named_variant
       = 'a
       constraint 
       'a = 
       [< 
        polymorphic_variant ]
       
      
     
    
      type 
       extensible +=