Module TypeExpr.Package
type substitution= Paths.Fragment.Type.t * TypeExpr.ttype t={path : Paths.Path.ModuleType.t;substitutions : substitution list;}
TypeExpr.Packagetype substitution = Paths.Fragment.Type.t * TypeExpr.ttype t = {path : Paths.Path.ModuleType.t; |
substitutions : substitution list; |
}