bork

[clean-tests.git] / eadt / export / C.dcl

diff --git a/eadt/export/C.dcl b/eadt/export/C.dcl
new file mode 100644 (file)
index 0000000..63e907c
--- /dev/null
+++ b/eadt/export/C.dcl
@@ -0,0 +1,6 @@
+definition module C
+
+import main
+
+C :: T
+isC :: T -> Bool