module Modulo: sig .. end
sig
end
val modulo : n:Z.t -> Z.t -> Z.t
n:Z.t -> Z.t -> Z.t
val sum : n:Z.t -> Z.t -> Z.t -> Z.t
n:Z.t -> Z.t -> Z.t -> Z.t
val uminus : n:Z.t -> Z.t -> Z.t