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