aboutsummaryrefslogtreecommitdiff
path: root/sucl/history.dcl
blob: 2e9f50a8ec6bd5c5ec14a385584efc36d661e191 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
definition module history

// $Id$

from spine import Spine
from rule import Rgraph
from graph import Graph

from spine import Subspine // for Spine

:: History sym var
   :== [(var,[Rgraph sym var])]

extendhistory
 :: (Graph sym var)
    (var -> var)
    (Spine sym var pvar)
    (History sym var)
 -> History sym var