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