aboutsummaryrefslogtreecommitdiff
path: root/sucl/history.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/history.dcl')
-rw-r--r--sucl/history.dcl21
1 files changed, 12 insertions, 9 deletions
diff --git a/sucl/history.dcl b/sucl/history.dcl
index 2e9f50a..b27567b 100644
--- a/sucl/history.dcl
+++ b/sucl/history.dcl
@@ -2,18 +2,21 @@ definition module history
// $Id$
-from spine import Spine
-from rule import Rgraph
from graph import Graph
+from spine import Spine
+from StdOverloaded import ==
+
+// Transitive necessities
-from spine import Subspine // for Spine
+from spine import Subspine
:: History sym var
- :== [(var,[Rgraph sym var])]
extendhistory
- :: (Graph sym var)
- (var -> var)
- (Spine sym var pvar)
- (History sym var)
- -> History sym var
+ :: (Graph sym var) // Subject graph
+ (Spine sym var pvar) // Spine leading to the reduction operation
+ (History sym var) // Old history
+ -> History sym var // New history
+ | == sym
+ & == var
+ & == pvar