1 files changed, 17 insertions, 0 deletions
diff --git a/sucl/complete.dcl b/sucl/complete.dcl
new file mode 100644
index 0000000..42a9ee8
--- /dev/null
+++ b/sucl/complete.dcl
@@ -0,0 +1,17 @@
+definition module complete
+
+from graph import Graph
+from StdOverloaded import ==
+
+:: Pattern sym var
+   :== (Graph sym var,[var])
+
+coveredby
+ :: ([sym]->Bool)
+    (Graph sym var)
+    ![Pattern sym pvar]
+    [var]
+ -> Bool
+ |  == sym
+ &  == var
+ &  == pvar