final List < Type > freeVarsIn ( Type t ) { ListBuffer < Type > buf = new ListBuffer <> ( ) ; for ( Type iv : inferenceVars ( ) ) { if ( t . contains ( iv ) ) { buf . add ( iv ) ; } } return buf . toList ( ) ; }
Returns a list of free variables in a given type