bork

[clean-tests.git] / eadt / export / B.icl

diff --git a/eadt/export/B.icl b/eadt/export/B.icl
new file mode 100644 (file)
index 0000000..4884d2a
--- /dev/null
+++ b/eadt/export/B.icl
@@ -0,0 +1,12 @@
+implementation module B
+
+import main
+
+:: T | E
+
+B :: T
+B = E
+
+isB :: T -> Bool
+isB E = True
+isB _ = False