qtil
advanced-security/qtil-javascript 0.0.3
Search

Member predicate SharedTypeTrackingStep::step

Holds if type-tracking should step from pred to succ.

predicate step(Node pred, Node succ)