module Comp:sig
..end
==, !=, <, >, <=, >=
.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
a op b <==> ! (a (inv op) b)
.val sym : t -> t
a op b <==> b (sym op) a
.