Module Lang.IncludeSource

type shadowed = {
  1. s_modules : (string * Names.ModuleName.t) list;
  2. s_module_types : (string * Names.ModuleTypeName.t) list;
  3. s_values : (string * Names.ValueName.t) list;
  4. s_types : (string * Names.TypeName.t) list;
  5. s_classes : (string * Names.TypeName.t) list;
  6. s_class_types : (string * Names.TypeName.t) list;
}
type expansion = {
  1. shadowed : shadowed;
  2. content : Signature.t;
}
type decl =
  1. | Alias of Paths.Path.Module.t
  2. | ModuleType of ModuleType.U.expr
type t = {
  1. loc : Location_.span;
  2. parent : Paths.Identifier.Signature.t;
  3. strengthened : Paths.Path.Module.t option;
  4. doc : Comment.docs;
  5. status : [ `Inline | `Closed | `Open | `Default ];
  6. decl : decl;
  7. expansion : expansion;
}