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