Module Abstract_interp.Comp

module Comp: sig .. end
Signatures for comparison operators ==, !=, <, >, <=, >=.

type t = 
| Lt
| Gt
| Le
| Ge
| Eq
| Ne (*
comparison operators
*)
type result = 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.