Nested (Nested)

Module


      module X
      
       : sig ... 
       end

This is module X.


      module 
       type 
       Y
      
       = sig ... 
       end

This is module type Y.


      module F
      
       (Arg1 : 
       Y) (
       Arg2 : 
       sig ... end
       ) : sig ... 
       end

This is a functor F.


      class 
       virtual  
      z
       : object ... 
       end

This is class z.


      class 
       virtual  
      inherits
       : object ... 
       end