Predicate PointsTo::PointsTo::API::version_const

INTERNAL – Use Version.isTrue() instead.

Holds if cmp points to a test on version that is value. For example, if cmp is sys.version[0] < "3" then for, Python 2, value would be true.

predicate version_const(CompareNode cmp, PointsToContext context, boolean value)