diff options
Diffstat (limited to 'sucl/graph.dcl')
| -rw-r--r-- | sucl/graph.dcl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sucl/graph.dcl b/sucl/graph.dcl index eef57a7..3300097 100644 --- a/sucl/graph.dcl +++ b/sucl/graph.dcl @@ -218,3 +218,12 @@ 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 + +instantiate :: + (Graph sym pvar,Graph sym var) + (pvar,var) + ([(pvar,var)],[(pvar,var)],[(pvar,var)]) + -> ([(pvar,var)],[(pvar,var)],[(pvar,var)]) + | == sym + & == var + & == pvar |