Module Int.Infix

module Infix: sig .. end

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

mod and div operators that have the right behavior on negative numbers, that is, x % y always returns a value between 0 and y-1. Invariant: if r = x % y && q = x /% y then q * y + r = x

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

val (//) : int -> int -> float

float division of integers