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