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