Frama-C:
Plug-ins:
Libraries:

Frama-C API - 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 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.