Package net.hydromatic.morel.type
Interface TypeSystem.ForallHelper
-
- Enclosing class:
- TypeSystem
public static interface TypeSystem.ForallHelperProvides access to type variables from within a call toTypeSystem.forallType(int, Function).
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description TypeVarget(int i)ListTypelist(int i)FnTypepredicate(int i)
-