docs menu

Module Upat.O

Operators, for local opening: O.(x + int 4 * y). Each is the function of the same meaning: + is add, // is div ~rounding:`Floor, % is mod_, <> is ne, land, lor, lxor and lnot are the bitwise operations, lsl and lsr the shifts.

#val int : int -> t

int n is the weak literal n.

#val float : float -> t

float x is the weak literal x.

#val bool : bool -> t

bool b is the literal b.

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

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

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

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

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

#val (%) : t -> t -> t

#val (~-) : t -> t

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

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

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

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

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

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

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

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

#val lnot : t -> t

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

#val (lsr) : t -> t -> t