type expansion = | AlreadyASig |
| Signature of Signature.t |
| Functor of FunctorParameter.t list * Signature.t |
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