IfModule

trait IfModule

Methods of the module object val If

class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(cond: Term, thenp: Term, elsep: Term): If

Create an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>

Create an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>

def copy(original: Tree)(cond: Term, thenp: Term, elsep: Term): If
def unapply(tree: If): (Term, Term, Term)

Matches an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>

Matches an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>