1 files changed, 0 insertions, 25 deletions
diff --git a/sucl/trd.dcl b/sucl/trd.dcl
deleted file mode 100644
index 09b2467..0000000
--- a/sucl/trd.dcl
+++ /dev/null
@@ -1,25 +0,0 @@
-definition module trd
-
-// $Id$
-
-from rule import Rule
-from graph import Node
-from StdOverloaded import ==
-
-/*
-`Ruletype theap symtype rule' determines the type of `rule'.
-`Theap' must be an endless supply of type variables.
-`Symtype' associates type rules with the symbols that occur in `rule'.
-
-If typing does not succeed, the function aborts.
-*/
-
-ruletype
- :: .[tvar]
-    ((Node sym var) -> Rule tsym trvar)
-    (Rule sym var)
- -> .Rule tsym tvar
- |  == var
- &  == tsym
- &  == tvar
- &  == trvar