Frama-C:
Plug-ins:
Libraries:

Frama-C API - Rel

"Relative" integers. They are subtraction between two absolute integers

type t
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val zero : t
val is_zero : t -> bool
val sub : t -> t -> t
val add_abs : Int.t -> t -> Int.t
val add : t -> t -> t
val sub_abs : Int.t -> Int.t -> t
val e_rem : t -> Int.t -> t
val check : rem:t -> modu:Int.t -> bool