repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
5ab20803ec49b5cf78b48ba56a824f9f4fec2592
[clean-tests.git]
/
type-restrictions
/
test.icl
1
module test
2
3
import StdEnv
4
5
:: T a = T a & toString a
6
7
Start :: T (T Int)
8
Start = T (T 42)