Lang.Signature
Sourcetype item =
| Module of recursive * Module.t
| ModuleType of ModuleType.t
| ModuleSubstitution of ModuleSubstitution.t
| ModuleTypeSubstitution of ModuleTypeSubstitution.t
| Open of Open.t
| Type of recursive * TypeDecl.t
| TypeSubstitution of TypeDecl.t
| TypExt of Extension.t
| Exception of Exception.t
| Value of Value.t
| Class of recursive * Class.t
| ClassType of recursive * ClassType.t
| Include of Include.t
| Comment of Comment.docs_or_stop
type removed_item =
| RModule of Names.ModuleName.t * Paths.Path.Module.t
| RType of Names.TypeName.t * TypeExpr.t * TypeDecl.Equation.t
| RModuleType of Names.ModuleTypeName.t * ModuleType.expr
type t = {
items : item list;
compiled : bool;
removed : removed_item list;
doc : Comment.docs;
The top comment.
*)}