diff options
Diffstat (limited to 'sucl/spine.dcl')
| -rw-r--r-- | sucl/spine.dcl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sucl/spine.dcl b/sucl/spine.dcl index f45a0f5..0aae75a 100644 --- a/sucl/spine.dcl +++ b/sucl/spine.dcl @@ -199,10 +199,10 @@ ifopen :: result result !.(Answer sym var pvar) -> result // Extend the history according to a spine extendhistory - :: (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 + :: (Graph sym var) + (var -> var) + (Spine sym var pvar) + (History sym var) + -> History sym var + | == var & == pvar |