Module 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 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 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 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 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