Domain.Integer_Forward
val itimes : Z.t -> Context.t -> integer -> integer
val iadd : Context.t -> integer -> integer -> integer
val imul : Context.t -> integer -> integer -> integer
val idiv : Context.t -> integer -> integer -> integer
val imod : Context.t -> integer -> integer -> integer
val ishl : Context.t -> integer -> integer -> integer
val ishr : Context.t -> integer -> integer -> integer
val iand : Context.t -> integer -> integer -> integer
val ior : Context.t -> integer -> integer -> integer
val ixor : Context.t -> integer -> integer -> integer
val isub : Context.t -> integer -> integer -> integer
val ieq : Context.t -> integer -> integer -> boolean
val ile : Context.t -> integer -> integer -> boolean
val iconst : Z.t -> Context.t -> integer
val zero : Context.t -> integer
val one : Context.t -> integer