core/it.unibo.tuprolog.core/ListIterator/All

All

class All(list: List) : ListIterator

Constructors

constructor(list: List)

Functions

open operator override fun hasNext(): Boolean

open operator override fun next(): Term

open fun onEmptyList(item: EmptyList): Term