Up  Next

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.