Module Upat.O

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

a + b is alu [a; b] Ops.Add. Commutative.

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

a * b is alu [a; b] Ops.Mul. Commutative.

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

a - b is alu [a; b] Ops.Sub. Positional.

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

a / b is alu [a; b] Ops.Fdiv. Positional.

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

a // b is alu [a; b] Ops.Floordiv. Positional.

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

a mod b is alu [a; b] Ops.Floormod. Positional.

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

a < b is alu [a; b] Ops.Cmplt. Positional.

val cdiv : t -> t -> t

cdiv a b is alu [a; b] Ops.Cdiv. Positional.

val cmod : t -> t -> t

cmod a b is alu [a; b] Ops.Cmod. Positional.

val floordiv : t -> t -> t

floordiv a b is alu [a; b] Ops.Floordiv. Positional.

val floormod : t -> t -> t

floormod a b is alu [a; b] Ops.Floormod. Positional.

val ne : t -> t -> t

ne a b is alu [a; b] Ops.Cmpne. Commutative.