module Int_as_int: sig .. end
sig
end
val (+) : int -> int -> int
int -> int -> int
val (-) : int -> int -> int
val ( * ) : int -> int -> int
val (/) : int -> int -> int
val (~-) : int -> int
int -> int