63e907c9c32ac5bb7aa2d1bfd507f2e368e54f26
[clean-tests.git] / eadt / export / C.dcl
1 definition module C
2
3 import main
4
5 C :: T
6 isC :: T -> Bool