WhileModule

Methods of the module object val While

Methods of the module object val While

class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(cond: Term, body: Term): While

Creates a while loop while () and returns (, )

Creates a while loop while () and returns (, )

def copy(original: Tree)(cond: Term, body: Term): While
def unapply(x: While): (Term, Term)

Extractor for while loops.

Extractor for while loops. Matches while () and returns (, )