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.
|