package goblint

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

Arithmetic operators

val neg : Cil.ikind -> t -> t

Negating an integer value: -x

val add : Cil.ikind -> t -> t -> t

Addition: x + y

val sub : Cil.ikind -> t -> t -> t

Subtraction: x - y

val mul : Cil.ikind -> t -> t -> t

Multiplication: x * y

val div : Cil.ikind -> t -> t -> t

Division: x / y

val rem : Cil.ikind -> t -> t -> t

Integer remainder: x % y

Comparison operators

val lt : Cil.ikind -> t -> t -> t

Less than: x < y

val gt : Cil.ikind -> t -> t -> t

Greater than: x > y

val le : Cil.ikind -> t -> t -> t

Less than or equal: x <= y

val ge : Cil.ikind -> t -> t -> t

Greater than or equal: x >= y

val eq : Cil.ikind -> t -> t -> t

Equal to: x == y

val ne : Cil.ikind -> t -> t -> t

Not equal to: x != y

Bit operators

val bitnot : Cil.ikind -> t -> t

Bitwise not (one's complement): ~x

val bitand : Cil.ikind -> t -> t -> t

Bitwise and: x & y

val bitor : Cil.ikind -> t -> t -> t

Bitwise or: x | y

val bitxor : Cil.ikind -> t -> t -> t

Bitwise exclusive or: x ^ y

val shift_left : Cil.ikind -> t -> t -> t

Shifting bits left: x << y

val shift_right : Cil.ikind -> t -> t -> t

Shifting bits right: x >> y

Logical operators

val lognot : Cil.ikind -> t -> t

Logical not: !x

val logand : Cil.ikind -> t -> t -> t

Logical and: x && y

val logor : Cil.ikind -> t -> t -> t

Logical or: x || y

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct