Rel
"Relative" integers. They are subtraction between two absolute integers
type t
val pretty : t Fclib.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 : Fclib.Z.t -> t -> Fclib.Z.t
val add : t -> t -> t
val sub_abs : Fclib.Z.t -> Fclib.Z.t -> t
val erem : t -> Fclib.Z.t -> t
val e_rem : t -> Fclib.Z.t -> t
val check : rem:t -> modu:Fclib.Z.t -> bool
Frama-C