Module Abstract_interp.Comp

Signatures for comparison operators ==, !=, <, >, <=, >=.

type t =
| Lt
| Gt
| Le
| Ge
| Eq
| Ne(*

comparison operators

*)
type result = 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.