> if ( \( ret < 0 \| ret <= 0 \) ) Can it make sense to specify the comparison by a constraint for a metavariable of the type “binary operator” instead of a SmPL disjunction? Regards, Markus
> if ( \( ret < 0 \| ret <= 0 \) ) Can it make sense to specify the comparison by a constraint for a metavariable of the type “binary operator” instead of a SmPL disjunction? Regards, Markus