package goblint

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BitfieldDomain.InfixIntOps

Parameters

Signature

val (&:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (|:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (^:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (!:) : Ints_t.t -> Ints_t.t
val (<<:) : Ints_t.t -> int -> Ints_t.t
val (>>:) : Ints_t.t -> int -> Ints_t.t
val (<:) : Ints_t.t -> Ints_t.t -> bool
val (=:) : Ints_t.t -> Ints_t.t -> bool
val (>:) : Ints_t.t -> Ints_t.t -> bool
val (<>:) : Ints_t.t -> Ints_t.t -> bool
val (+:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (-:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (*:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (/:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (%:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (>>.) : Ints_t.t -> int -> Ints_t.t
OCaml

Innovation. Community. Security.