TypeSystem.ForallHelper (morel 0.2.0 API)

Enclosing class:

TypeSystem
```
public static interface TypeSystem.ForallHelper
```
Provides access to type variables from within a call to TypeSystem.forallType(int, Function).

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  TypeVar get(int i)
  
  ListType list(int i)
  
  FnType predicate(int i)

Method Detail

get
```
TypeVar get(int i)
```

list
```
ListType list(int i)
```

predicate
```
FnType predicate(int i)
```