Frama-C API - `Operators`

This module contains all Z operators.

since Frama-C+dev

include module type of Compare

val (=) : t -> t -> bool

val (<) : t -> t -> bool

val (>) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (<>) : t -> t -> bool

val (~-) : t -> t

Negation neg.

val (+) : t -> t -> t

Addition add.

val (-) : t -> t -> t

Subtraction sub.

val (*) : t -> t -> t

Multiplication mul.

val (/) : t -> t -> t

Truncated division div.

val (mod) : t -> t -> t

Remainder rem.

val (land) : t -> t -> t

Bit-wise logical and logand.

val (lor) : t -> t -> t

Bit-wise logical inclusive or logor.

val (lxor) : t -> t -> t

Bit-wise logical exclusive or logxor.

val (~!) : t -> t

Bit-wise logical negation lognot.

val (lsl) : t -> int -> t

Bit-wise shift to the left shift_left.

val (asr) : t -> int -> t

Bit-wise shift to the right shift_right.

val (~$) : int -> t

Conversion from int using of_int.

val (**) : t -> int -> t

Power pow.