Lang.Moduletype decl = | Alias of Paths.Path.Module.t * ModuleType.simple_expansion option | 
| ModuleType of ModuleType.expr | 
type t = {id : Paths.Identifier.Module.t; | 
doc : Comment.docs; | 
type_ : decl; | 
canonical : Paths.Path.Module.t option; | 
}module Equation : sig ... end