Module Lang.Module

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