module Sign_value:sig
..end
Sign domain: abstraction of integer numerical values by their signs.
type
signs = {
|
pos : |
(* | true: maybe positive, false: never positive true: maybe positive, false: never positive | *) |
|
zero : |
(* | true: maybe zero, false: never zero true: maybe zero, false: never zero | *) |
|
neg : |
(* | true: maybe negative, false: never negative true: maybe negative, false: never negative | *) |
}
include Abstract_value.Leaf
val pretty_debug : t Pretty_utils.formatter