Module Abstract_interp.Comp

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

type t =

1. | Lt
2. | Gt
3. | Le
4. | Ge
5. | Eq
6. | Ne
   (*

   comparison operators

   *)

type result = truth =

1. | True
2. | False
3. | Unknown
   (*

   result of a comparison

   *)

val pretty_comp : Stdlib.Format.formatter -> t -> unit

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.

val inv_result : result -> result

Given a result r for an operation op, inv_result r is the result that would have been obtained for inv op.