Module TypeExpr.Package

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