Red book operator removes both operands from the stack, then executes proc if bool is true. The if operator pushes no results of its own on the operand stack, but proc may do so.
Core code registered in systemdict.