jon.recoil.org

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 functor_ref =
  1. | Path of Paths.Path.Module.t
  2. | ModuleType of ModuleType.expr
type functor_t = {
  1. target : functor_ref;
  2. original_ref : functor_ref;
}
type decl =
  1. | Alias of Paths.Path.Module.t
  2. | ModuleType of ModuleType.U.expr
  3. | Functor of functor_t
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;
  8. expanded : bool;
}