Module Sign_value

module Sign_value: sig .. end

Sign domain: abstraction of integer numerical values by their signs.


type signs = {
   pos : bool; (*

true: maybe positive, false: never positive

true: maybe positive, false: never positive

*)
   zero : bool; (*

true: maybe zero, false: never zero

true: maybe zero, false: never zero

*)
   neg : bool; (*

true: maybe negative, false: never negative

true: maybe negative, false: never negative

*)
}
include Abstract_value.Leaf
val pretty_debug : t Pretty_utils.formatter