ceq

`ceq [ <label-exp> ] <term> = <term> if <boolterm> .`

Defines a conditional equation. Spaces around the if are obligatory. <boolterm> needs to be a Boolean term. For other requirements see eq.