package goblint

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

Arithmetic operators

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

Negating an integer value: -x

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

Addition: x + y

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

Subtraction: x - y

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

Multiplication: x * y

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

Division: x / y

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

Integer remainder: x % y

Comparison operators

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

Less than: x < y

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

Greater than: x > y

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

Less than or equal: x <= y

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

Greater than or equal: x >= y

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

Equal to: x == y

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

Not equal to: x != y

Bit operators

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

Bitwise not (one's complement): ~x

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

Bitwise and: x & y

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

Bitwise or: x | y

val logxor : GoblintCil.Cil.ikind -> t -> t -> t

Bitwise exclusive or: x ^ y

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

Shifting bits left: x << y

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

Shifting bits right: x >> y

Logical operators

val c_lognot : GoblintCil.Cil.ikind -> t -> t

Logical not: !x

val c_logand : GoblintCil.Cil.ikind -> t -> t -> t

Logical and: x && y

val c_logor : GoblintCil.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