Methods of the module object val If
val If
Create an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>
if (<cond: Term>) <thenp: Term> else <elsep: Term>
Matches an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>