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 : Z.t -> t -> Z.t
val add : t -> t -> t
val sub_abs : Z.t -> Z.t -> t
val erem : t -> Z.t -> t
val e_rem : t -> Z.t -> t
val check : rem:t -> modu:Z.t -> bool
Frama-C