1  
 2  program test.alpha {
 3      transition main(a: bool, b: bool) -> bool {
 4          // unary
 5          let h: bool = a.not();
 6  
 7          // binary
 8          let l: bool = a.and(b);
 9          let o: bool = a.eq(b);
10          let v: bool = a.nand(b);
11          let w: bool = a.neq(b);
12          let x: bool = a.nor(b);
13          let y: bool = a.or(b);
14          let ar: bool = a.xor(b);
15  
16          return h;
17      }}