repositories / clean-tests.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ushalow
[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)