1  /*
 2  seed = 123456789
 3  min_height = 16
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "main"
 8  input = ["0group"]
 9  [case]
10  program = "test.alpha"
11  function = "main"
12  input = ["2group"]
13  */
14  
15  program test.alpha {
16      transition main(a: group) -> (field, field) {
17          let b: field = group::to_x_coordinate(a);
18          let c: field = a as field;
19          let e: field = a.to_x_coordinate();
20          assert_eq(b, c);
21          assert_eq(b, e);
22          let d: field = group::to_y_coordinate(a);
23          let f: field = a.to_y_coordinate();
24          assert_eq(d, f);
25          return (b, d);
26      }
27  
28      @noupgrade
29      async constructor() {}
30  }