Module Domain.Binary_Forward

val biadd : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> Context.t -> binary -> binary -> binary
val bisub : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> Context.t -> binary -> binary -> binary
val bimul : size:int -> nsw:bool -> nuw:bool -> Context.t -> binary -> binary -> binary
val bshl : size:int -> nsw:bool -> nuw:bool -> Context.t -> binary -> binary -> binary
val bashr : size:int -> Context.t -> binary -> binary -> binary
val blshr : size:int -> Context.t -> binary -> binary -> binary
val beq : size:int -> Context.t -> binary -> binary -> boolean
val bisle : size:int -> Context.t -> binary -> binary -> boolean
val biule : size:int -> Context.t -> binary -> binary -> boolean
val bconcat : size1:int -> size2:int -> Context.t -> binary -> binary -> binary
val bextract : size:int -> index:int -> oldsize:int -> Context.t -> binary -> binary
val band : size:int -> Context.t -> binary -> binary -> binary
val bor : size:int -> Context.t -> binary -> binary -> binary
val bxor : size:int -> Context.t -> binary -> binary -> binary
val buext : size:int -> oldsize:int -> Context.t -> binary -> binary
val bsext : size:int -> oldsize:int -> Context.t -> binary -> binary
val bisdiv : size:int -> Context.t -> binary -> binary -> binary
val bismod : size:int -> Context.t -> binary -> binary -> binary
val biudiv : size:int -> Context.t -> binary -> binary -> binary
val biumod : size:int -> Context.t -> binary -> binary -> binary
val bofbool : size:int -> Context.t -> boolean -> binary
val valid : size:int -> Transfer_functions__Transfer_functions_sig.access_type -> Context.t -> binary -> boolean
val valid_ptr_arith : size:int -> Context.t -> binary -> binary -> boolean
val bshift : size:int -> offset:int -> max:int option -> Context.t -> binary -> binary
val bindex : size:int -> int -> Context.t -> binary -> binary -> binary
val bchoose : size:int -> int -> Context.t -> binary -> binary
val biconst : size:int -> Z.t -> Context.t -> binary
val buninit : size:int -> Context.t -> binary