If
extends Object with SerializableScala if
/else
term
Supertypes
Object, SerializableMembers
def
apply
( cond: Term , thenp: Term , elsep: Term ) ( implicit ctx: Context ) : IfCreate 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>