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