Rel
"Relative" integers. They are subtraction between two absolute integers
type t
val pretty : t Pretty_utils.formatter
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
Frama-C