Ton

1
forall A, B, C ->
2
(B, C, A) rot(A x, B y, C z) {
3
  return (y, z, x);
4
}
5

6
forall A, B, C ->
7
_ rot2(A x, B y, C z) {
8
  return rot(rot(x, y, z));
9
}
10

11
_ test() {
12
  return rot2(2, 3, 9);
13
}
14

15
_ test2(cell x, slice y, tuple z) {
16
  return rot2(x, y, z);
17
}
18

19
forall A ->
20
_ test3(cell x, A y, int z) {
21
  return rot2(x, y, z);
22
}
23