Module Binary.Binary_Forward

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

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

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

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

val biadd : size:'a -> flags:'b -> 'c -> 'd -> 'e

val bisub : size:'a -> flags:'b -> 'c -> 'd -> 'e

val bimul : size:'a -> flags:'b -> 'c -> 'd -> 'e

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

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

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

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

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

val bsext : size:'a -> oldsize:'b -> 'c -> 'd

val buext : size:'a -> oldsize:'b -> 'c -> 'd

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

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

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

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

val bshl : size:'a -> flags:'b -> 'c -> 'd -> 'e

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

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

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

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

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

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

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

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

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

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

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

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

val bshift : size:'a -> offset:'b -> max:'c -> 'd -> 'e

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