1template OpsCmp() {
 2    signal input in[2];
 3    signal output lt;
 4    signal output leq;
 5    signal output eq;
 6    signal output neq;
 7    signal output geq;
 8    signal output gt;
 9
10    lt   <-- in[0] <  in[1];
11    leq  <-- in[0] <= in[1];
12    eq   <-- in[0] == in[1];
13    neq  <-- in[0] != in[1];
14    geq  <-- in[0] >= in[1];
15    gt   <-- in[0] >  in[1];
16}
17
18component main = OpsCmp();