Module Lang.Include

type shadowed = {
s_modules : string list;
s_module_types : string list;
s_values : string list;
s_types : string list;
s_classes : string list;
s_class_types : string list;
}
type expansion = {
shadowed : shadowed;
content : Signature.t;
}
type decl =
| Alias of Paths.Path.Module.t
| ModuleType of ModuleType.U.expr
type t = {
parent : Paths.Identifier.Signature.t;
strengthened : Paths.Path.Module.t option;
doc : Comment.docs;
status : [ `Inline | `Closed | `Open | `Default ];
decl : decl;
expansion : expansion;
}