L.Binary
include Codex.Transfer_functions.Binary_Forward
with module Arity := Monadic_Arity
and type binary = binary
and type boolean = boolean
type binary = binary
type boolean = boolean
val biadd :
size:int ->
nsw:bool ->
nuw:bool ->
nusw:bool ->
(binary, binary, binary) Monadic_Arity.ar2
Bitvector Integer ADDition.
val bisub :
size:int ->
nsw:bool ->
nuw:bool ->
nusw:bool ->
(binary, binary, binary) Monadic_Arity.ar2
Bitvector Integer SUBtraction.
val bimul :
size:int ->
nsw:bool ->
nuw:bool ->
(binary, binary, binary) Monadic_Arity.ar2
Bitvector Integer MULtiplication.
val bshl :
size:int ->
nsw:bool ->
nuw:bool ->
(binary, binary, binary) Monadic_Arity.ar2
val bashr : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val blshr : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val beq : size:int -> (binary, binary, boolean) Monadic_Arity.ar2
val bisle : size:int -> (binary, binary, boolean) Monadic_Arity.ar2
val biule : size:int -> (binary, binary, boolean) Monadic_Arity.ar2
val bconcat :
size1:int ->
size2:int ->
(binary, binary, binary) Monadic_Arity.ar2
val bextract :
size:int ->
index:int ->
oldsize:int ->
(binary, binary) Monadic_Arity.ar1
val band : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val bor : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val bxor : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val buext : size:int -> oldsize:int -> (binary, binary) Monadic_Arity.ar1
val bsext : size:int -> oldsize:int -> (binary, binary) Monadic_Arity.ar1
val bisdiv : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val bismod : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val biudiv : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val biumod : size:int -> (binary, binary, binary) Monadic_Arity.ar2
val bofbool : size:int -> (boolean, binary) Monadic_Arity.ar1
val valid :
size:int ->
Transfer_functions__.Transfer_functions_sig.access_type ->
(binary, boolean) Monadic_Arity.ar1
val valid_ptr_arith : size:int -> (binary, binary, boolean) Monadic_Arity.ar2
val bshift :
size:int ->
offset:int ->
max:int option ->
(binary, binary) Monadic_Arity.ar1
val bindex : size:int -> int -> (binary, binary, binary) Monadic_Arity.ar2
val bchoose : size:int -> int -> (binary, binary) Monadic_Arity.ar1
val biconst : size:int -> Z.t -> binary Monadic_Arity.ar0
val buninit : size:int -> binary Monadic_Arity.ar0