module Infix: sig .. end
sig
end
val (%) : t -> t -> t
t -> t -> t
x % y
if r = x % y && q = x /% y then q * y + r = x
val (/%) : t -> t -> t
val (//) : int -> int -> float
int -> int -> float