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;
display_type : decl option;
expansion : expansion option;
}
module Equation : sig ... end