IterType

The Iterator type

type Iter<T> = { next : () -> ?T }