diff options
Diffstat (limited to 'sucl/graph.dcl')
| -rw-r--r-- | sucl/graph.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/graph.dcl b/sucl/graph.dcl index 1ed9c29..eef57a7 100644 --- a/sucl/graph.dcl +++ b/sucl/graph.dcl @@ -2,6 +2,7 @@ definition module graph // $Id$ +from pfun import Pfun from StdOverloaded import == // A rule associating a replacement with a pattern @@ -214,4 +215,6 @@ compilegraph :: ![(var,Node sym var)] -> Graph sym var */ +extgraph :: (Graph sym var) (Graph sym pvar) [pvar] (Pfun pvar var) (Graph sym var) -> Graph sym var | == var & == pvar + instance == (Graph sym var) | == sym & == var |