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>