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 -> nsw:'b -> nuw:'c -> nusw:'d -> 'e -> 'f -> 'g
val bisub : size:'a -> nsw:'b -> nuw:'c -> nusw:'d -> 'e -> 'f -> 'g
val bimul : size:'a -> nsw:'b -> nuw:'c -> 'd -> 'e -> 'f
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 -> nsw:'b -> nuw:'c -> 'd -> 'e -> 'f
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 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