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