Module Abstract_interp.Comp

module Comp: sig .. end

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

type t =

type result =

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.

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.