Module With_Noop.Integer_Backward
val ieq0 : 'a -> 'b -> 'c option
val ige0 : 'a -> 'b -> 'c option
val itimes : 'a -> 'b -> 'c option
val iadd : 'a -> 'b -> 'c -> 'd option * 'e option
val imul : 'a -> 'b -> 'c -> 'd option * 'e option
val idiv : 'a -> 'b -> 'c -> 'd option * 'e option
val imod : 'a -> 'b -> 'c -> 'd option * 'e option
val ishl : 'a -> 'b -> 'c -> 'd option * 'e option
val ishr : 'a -> 'b -> 'c -> 'd option * 'e option
val assume : 'a -> 'b -> 'c -> 'd option * 'e option