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.