summaryrefslogtreecommitdiff
path: root/tests/pairUnify.ur
blob: 1c9f9759c215a037eed81c1cf7f7716db3f5b269 (plain)
1
2
3
4
5
6
datatype a = A
datatype b = B

val x : a * b = (A, B)

val y : b = x