package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val zero : Z.t
val one : Z.t
val upper_bound : 'a option
val lower_bound : 'a option
val neg : Z.t -> Z.t
val abs : Z.t -> Z.t
val add : Z.t -> Z.t -> Z.t
val sub : Z.t -> Z.t -> Z.t
val mul : Z.t -> Z.t -> Z.t
val div : Z.t -> Z.t -> Z.t
val rem : Z.t -> Z.t -> Z.t
val gcd : Z.t -> Z.t -> Z.t
val compare : Z.t -> Z.t -> int
val equal : Z.t -> Z.t -> bool
val top_range : 'a -> 'b -> bool
val of_int : int -> Z.t
val to_int : Z.t -> int
val of_int64 : int64 -> Z.t
val to_int64 : Z.t -> int64
val of_string : string -> Z.t
val to_string : Z.t -> string
val of_bigint : 'a -> 'a
val to_bigint : 'a -> 'a
val of_bool : bool -> Z.t
val to_bool : Z.t -> bool
val shift_left : Z.t -> int -> Z.t
val shift_right : Z.t -> int -> Z.t
val bitnot : Z.t -> Z.t
val bitand : Z.t -> Z.t -> Z.t
val bitor : Z.t -> Z.t -> Z.t
val bitxor : Z.t -> Z.t -> Z.t