We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
ctrans [ <label-exp> ] <term> => <term> if <term> .
Defines a conditional transition. For details see trans and ceq.
trans
ceq
Related: bctrans, btrans, trans
bctrans
btrans