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 / B.dcl
1 definition module B
2
3 import main
4
5 B :: T
6 isB :: T -> Bool