Module Binary.Binary_Backward
val beq : 'a -> 'b -> 'c -> 'd
val biule : 'a -> 'b -> 'c -> 'd
val bisle : 'a -> 'b -> 'c -> 'd
val bitimes : 'a -> 'b -> 'c -> 'd
val biadd : 'a -> 'b -> 'c -> 'd
val bimul : size:'a -> 'b -> 'c -> 'd -> 'e
val bxor : size:'a -> 'b -> 'c -> 'd -> 'e
val band : size:'a -> 'b -> 'c -> 'd -> 'e
val bor : size:'a -> 'b -> 'c -> 'd -> 'e
val assume : size:'a -> 'b -> 'c -> 'd -> 'e
val bsext : size:'a -> 'b -> 'c -> 'd
val buext : size:'a -> 'b -> 'c -> 'd
val bashr : size:'a -> 'b -> 'c -> 'd -> 'e
val blshr : size:'a -> 'b -> 'c -> 'd -> 'e
val bshl : size:'a -> nsw:'b -> nuw:'c -> 'd -> 'e -> 'f -> 'g
val bisdiv : 'a -> 'b -> 'c -> 'd
val bconcat : size1:'a -> size2:'b -> 'c -> 'd -> 'e -> 'f
val bismod : 'a -> 'b -> 'c -> 'd
val valid : size:'a -> 'b -> 'c -> 'd
val bshift : size:'a -> 'b -> 'c
val bindex : size:'a -> 'b -> 'c