Module signature SignAnalysisSig

Import path

import codeql.rangeanalysis.RangeAnalysis

semMayBeNegative	Holds if `e` may have negative values. This does not rule out the possibility for positive values.
semMayBePositive	Holds if `e` may have positive values. This does not rule out the possibility for negative values.
semNegative	Holds if `e` can be negative and cannot be positive.
semPositive	Holds if `e` can be positive and cannot be negative.
semStrictlyNegative	Holds if `e` is strictly negative.
semStrictlyPositive	Holds if `e` is strictly positive.

Sem