1
types
2
3
('a, 'b) "ò" (infixr 20)
4
5
translations
6
7
(type) "x ò y" == (type) "x * y"
8
9
"³(x,y,zs).b" == "split(³x.³(y,zs).b)"
10
"³(x,y).b" == "split(³x y.b)"
11