TypeSystem.ForallHelper (morel 0.3.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)`	Creates type `i.
`ListType`	`list(int i)`	Creates type `i list.
`Type`	`option(int i)`	Creates type `i option.
`FnType`	`predicate(int i)`	Creates type `i → bool.
`Type`	`vector(int i)`	Creates type `i vector.

- Method Detail
  - get
```
TypeVar get(int i)
```
    Creates type `i.
  - list
```
ListType list(int i)
```
    Creates type `i list.
  - vector
```
Type vector(int i)
```
    Creates type `i vector.
  - option
```
Type option(int i)
```
    Creates type `i option.
  - predicate
```
FnType predicate(int i)
```
    Creates type `i → bool.