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