X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=eadt%2Fexport%2FC.dcl;fp=eadt%2Fexport%2FC.dcl;h=63e907c9c32ac5bb7aa2d1bfd507f2e368e54f26;hb=b2a4b7c5c620e9d85bda8afa1c5e804ee98ffd89;hp=0000000000000000000000000000000000000000;hpb=acf65f233c22c3eb03ff43805d8065f5ad5a5b53;p=clean-tests.git

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