Module Convert_to_monadic.Binary_Forward

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