Module Lang.Module

type expansion =
| AlreadyASig
| Signature of Signature.t
| Functor of FunctorParameter.t list * Signature.t
type decl =
| Alias of Paths.Path.Module.t
| ModuleType of ModuleType.expr
type t = {
id : Paths.Identifier.Module.t;
doc : Comment.docs;
type_ : decl;
canonical : (Paths.Path.Module.t * Paths.Reference.Module.t) option;
hidden : bool;
display_type : decl option;
expansion : expansion option;
}
module Equation : sig ... end