package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

"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