You can search for identifiers within the package.
in-package search v0.2.0
goblint_cdomain_value
IntDomain.Arith
type t
Arithmetic operators
val neg : t -> t
Negating an integer value: -x
-x
val add : t -> t -> t
Addition: x + y
x + y
val sub : t -> t -> t
Subtraction: x - y
x - y
val mul : t -> t -> t
Multiplication: x * y
x * y
val div : t -> t -> t
Division: x / y
x / y
val rem : t -> t -> t
Integer remainder: x % y
x % y
Comparison operators
val lt : t -> t -> t
Less than: x < y
x < y
val gt : t -> t -> t
Greater than: x > y
x > y
val le : t -> t -> t
Less than or equal: x <= y
x <= y
val ge : t -> t -> t
Greater than or equal: x >= y
x >= y
val eq : t -> t -> t
Equal to: x == y
x == y
val ne : t -> t -> t
Not equal to: x != y
x != y
Bitwise logical operators
val lognot : t -> t
Bitwise logical not (one's complement): ~x
~x
val logand : t -> t -> t
Bitwise logical and: x & y
x & y
val logor : t -> t -> t
Bitwise logical or: x | y
x | y
val logxor : t -> t -> t
Bitwise logical exclusive or: x ^ y
x ^ y
val shift_left : t -> t -> t
Shifting bits left: x << y
x << y
val shift_right : t -> t -> t
Shifting bits right: x >> y
x >> y
Logical operators
val c_lognot : t -> t
Logical not: !x
!x
val c_logand : t -> t -> t
Logical and: x && y
x && y
val c_logor : t -> t -> t
Logical or: x || y
x || y