qtil
advanced-security/qtil-javascript 0.0.3
Search

Predicate signature GraphExportSig::edge

Holds if an edge pred -> succ exist with the access path path.

signature predicate edge(Node pred, string path, Node succ)