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