Module Integer.Integer_Forward

val one : 'a -> 'b
val zero : 'a -> 'b
val ile : 'a -> 'b
val ieq : 'a -> 'b
val isub : 'a -> 'b
val iconst : 'a -> 'b
val assume : 'a -> 'b
val iunknown : 'a -> 'b
val ixor : 'a -> 'b
val ior : 'a -> 'b
val iand : 'a -> 'b
val ishr : 'a -> 'b
val ishl : 'a -> 'b
val imod : 'a -> 'b
val idiv : 'a -> 'b
val imul : 'a -> 'b
val iadd : 'a -> 'b
val itimes : 'a -> 'b