Modules
module Module : sig ... endmodule FunctorParameter : sig ... endModules Types
module ModuleType : sig ... endmodule ModuleSubstitution : sig ... endSignatures
module Signature : sig ... endmodule Open : sig ... endIncludes
module Include : sig ... endType Declarations
module TypeDecl : sig ... endType extensions
module Extension : sig ... endmodule Exception : sig ... endValues
module Value : sig ... endExternal values
module External : sig ... endClasses
module Class : sig ... endClass Types
module ClassType : sig ... endClass Signatures
module ClassSignature : sig ... endMethods
module Method : sig ... endInstance variables
module InstanceVariable : sig ... endType expressions
module TypeExpr : sig ... endCompilation units
module Compilation_unit : sig ... endmodule Page : sig ... endval umty_of_mty : ModuleType.expr -> ModuleType.U.expr option