summaryrefslogtreecommitdiff
path: root/tests/split.urs
blob: d095f7c4f937d4f09778791cac310e06e832d4d6 (plain)
1
2
type t
val x : t