goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cilint =
  1. | Small of int
  2. | Big of Big_int_Z.big_int
val zero_cilint : cilint
val one_cilint : cilint
type truncation =
  1. | NoTruncation
  2. | ValueTruncation
  3. | BitTruncation
val truncate_signed_cilint : cilint -> int -> cilint * truncation
val truncate_unsigned_cilint : cilint -> int -> cilint * truncation
val neg_cilint : cilint -> cilint
val add_cilint : cilint -> cilint -> cilint
val sub_cilint : cilint -> cilint -> cilint
val mul_cilint : cilint -> cilint -> cilint
val div_cilint : cilint -> cilint -> cilint
val mod_cilint : cilint -> cilint -> cilint
val div0_cilint : cilint -> cilint -> cilint
val rem_cilint : cilint -> cilint -> cilint
val lognot_cilint : cilint -> cilint
val logand_cilint : cilint -> cilint -> cilint
val logor_cilint : cilint -> cilint -> cilint
val logxor_cilint : cilint -> cilint -> cilint
val shift_left_cilint : cilint -> int -> cilint
val shift_right_cilint : cilint -> int -> cilint
val int_of_cilint : cilint -> int
val int64_of_cilint : cilint -> int64
val big_int_of_cilint : cilint -> Big_int_Z.big_int
val string_of_cilint : cilint -> string
val cilint_of_int : int -> cilint
val cilint_of_int64 : int64 -> cilint
val cilint_of_big_int : Big_int_Z.big_int -> cilint
val cilint_of_string : string -> cilint
val is_zero_cilint : cilint -> bool
val compare_cilint : cilint -> cilint -> int
val is_int_cilint : cilint -> bool