\cdbreserved{conditional}{}

Denotes a conditional pattern. The parser rewrites an infix vertical bar operator
using a \verb|\conditional| object, in which the first argument is the
pattern and the second argument is the condition under which the
pattern holds.

