module Comp:sig
..end
Signatures for comparison operators ==, !=, <, >, <=, >=
.
type
t =
| |
Lt |
|||
| |
Gt |
|||
| |
Le |
|||
| |
Ge |
|||
| |
Eq |
|||
| |
Ne |
(* | comparison operators | *) |
typeresult =
Abstract_interp.truth
=
| |
True |
|||
| |
False |
|||
| |
Unknown |
(* | result of a comparison | *) |
val pretty_comp : t Pretty_utils.formatter
val inv : t -> t
Inverse relation: a op b <==> ! (a (inv op) b)
.
val sym : t -> t
Opposite relation: a op b <==> b (sym op) a
.