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