Module Lang.Signature

type recursive =
| Ordinary
| And
| Nonrec
| Rec
type 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 t = {
items : item list;
compiled : bool;
doc : Comment.docs;(*

The top comment.

*)
}