Module signature LangSig

Import path

import codeql.rangeanalysis.RangeAnalysis

additionalBoundFlowStep	Holds if `e2 >= e1 + delta` (if `upper = false`) or `e2 <= e1 + delta` (if `upper = true`).
hasConstantBound	Holds if `e >= bound` (if `upper = false`) or `e <= bound` (if `upper = true`).
ignoreExprBound	Ignore the bound on this expression.
includeConstantBounds
includeRelativeBounds
javaCompatibility

Sem		Semantic
D		DeltaSig