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