polyglot.ext.param.types

Interface SubstType<Formal extends Param,Actual extends TypeObject>