1
types
2
3
('a, 'b) "è" (infixr 5)
4
5
syntax
6
Gfabs :: "('a => 'b)=>('a -> 'b)" (binder "¤" 10)
7
8
translations
9
10
(type) "x è y" == (type) "x -> y"
11