b* control flow operator.
The B* binders if and when are exactly equivalent. See patbind-when for documentation. We generally prefer to use when instead of if.
