module Comp:sig
..end
==, !=, <, >, <=, >=
.type
t =
| |
Lt |
|||
| |
Gt |
|||
| |
Le |
|||
| |
Ge |
|||
| |
Eq |
|||
| |
Ne |
(* |
comparison operators
| *) |
type
result =
| |
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
.val inv_result : result -> result
r
for an operation op
, inv_result r
is
the result that would have been obtained for inv op
.