Module With_Noop.Binary_Backward

val beq : 'a -> 'b -> 'c -> 'd option * 'e option
val biult : 'a -> 'b -> 'c -> 'd option * 'e option
val biule : 'a -> 'b -> 'c -> 'd option * 'e option
val bislt : 'a -> 'b -> 'c -> 'd option * 'e option
val bisle : 'a -> 'b -> 'c -> 'd option * 'e option
val bitimes : 'a -> 'b -> 'c -> 'd option
val biadd : 'a -> 'b -> 'c -> 'd option * 'e option
val bimul : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val bxor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val band : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val bor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val nondet : size:'a -> 'b list -> 'c -> 'd option list
val assume : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val bsext : size:'a -> 'b -> 'c -> 'd option
val buext : size:'a -> 'b -> 'c -> 'd option
val bashr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val blshr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val bshl : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
val bisdiv : 'a -> 'b -> 'c -> 'd option * 'e option
val bconcat : 'a list -> 'b -> 'c option list
val bismod : 'a -> 'b -> 'c -> 'd option * 'e option
val bextract : size:'a -> index:'b -> 'c -> 'd -> 'e option
val valid : size:'a -> 'b -> 'c -> 'd option