1  
 2  program test.alpha {
 3      transition main(a: field, b: field) -> bool {
 4         // unary
 5         let f: field = a.inv();
 6         let g: field = a.neg();
 7         let i: field = a.square();
 8         let j: field = a.square_root();
 9  
10         // binary
11         let k: field = a.add(b);
12         let m: field = a.div(b);
13         let o: bool = a.eq(b);
14         let p: bool = a.gte(b);
15         let q: bool = a.gt(b);
16         let r: bool = a.lte(b);
17         let s: bool = a.lt(b);
18         let t: field = a.mul(b);
19         let w: bool = a.neq(b);
20         let z: field = a.pow(b);
21  
22         return w;
23      }}