diff options
Diffstat (limited to 'sucl/history.dcl')
-rw-r--r-- | sucl/history.dcl | 21 |
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 |