repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
.
[clean-tests.git]
/
old
/
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)