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 -> flags:'b -> 'c -> 'd -> 'e -> 'f

val bisdiv : 'a -> 'b -> 'c -> 'd

val bconcat : size1:'a -> size2:'b -> 'c -> 'd -> 'e -> 'f

val bismod : 'a -> 'b -> 'c -> 'd

val bextract : size:'a -> index:'b -> oldsize:'c -> 'd -> 'e -> 'f

val valid : size:'a -> 'b -> 'c -> 'd

val bshift : size:'a -> 'b -> 'c

val bindex : size:'a -> 'b -> 'c