repositories / clean-tests.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of git.martlubbers.net:clean-tests
[clean-tests.git] / eadt / export / C.dcl
1 definition module C
2
3 import main
4
5 C :: T
6 isC :: T -> Bool