TypeExpr.Package
type substitution = Cfrag.type_ * TypeExpr.t
type t = {
path : Cpath.module_type;
substitutions : substitution list;
}