summaryrefslogtreecommitdiff
path: root/transfer/examples/layout.tr
blob: ad35af3764bb4a38153a5f22b87930e512d98062 (plain)
1
2
3
4
5
6
7
8
9
x : Apa
x = let x : T = y 
     in case y of
         f -> q
         _ -> a

f = apa 

g = bepa