| linkpaths | |
|---|---|
| p1::§Path p2::§Path → §Path | |
| Dynamic references: | none |
|
Find intersection, cut p1 after the intersection, cut p2 before the intersection, and merge the result.
| |
| buildchain | |
|---|---|
| pthList::§ConsList → §Path | |
| Dynamic references: | none |
|
Like, linkpaths, but with more than two paths to join.
| |