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.