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