module Integer: sig .. end
val to_string : int Language.t -> string Language.t
val of_string : string Language.t -> int Language.t
val bin_op : int Language.t ->
[ `Div | `Minus | `Mod | `Mult | `Plus ] -> int Language.t -> int Language.t
val add : int Language.t -> int Language.t -> int Language.t
val (+) : int Language.t -> int Language.t -> int Language.t
val sub : int Language.t -> int Language.t -> int Language.t
val (-) : int Language.t -> int Language.t -> int Language.t
val mul : int Language.t -> int Language.t -> int Language.t
val ( * ) : int Language.t -> int Language.t -> int Language.t
val div : int Language.t -> int Language.t -> int Language.t
val (/) : int Language.t -> int Language.t -> int Language.t
val modulo : int Language.t -> int Language.t -> int Language.t
val (mod) : int Language.t -> int Language.t -> int Language.t
val cmp : [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] ->
int Language.t -> int Language.t -> bool Language.t
val eq : int Language.t -> int Language.t -> bool Language.t
val ne : int Language.t -> int Language.t -> bool Language.t
val lt : int Language.t -> int Language.t -> bool Language.t
val le : int Language.t -> int Language.t -> bool Language.t
val ge : int Language.t -> int Language.t -> bool Language.t
val gt : int Language.t -> int Language.t -> bool Language.t
val (=) : int Language.t -> int Language.t -> bool Language.t
val (<>) : int Language.t -> int Language.t -> bool Language.t
val (<) : int Language.t -> int Language.t -> bool Language.t
val (<=) : int Language.t -> int Language.t -> bool Language.t
val (>=) : int Language.t -> int Language.t -> bool Language.t
val (>) : int Language.t -> int Language.t -> bool Language.t