Module With_Bitvector_Backward.Binary_Backward

val biadd : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> (binary, binary, binary) Transfer_functions.Backward_Arity.ar2

Bitvector Integer ADDition.

val bisub : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> (binary, binary, binary) Transfer_functions.Backward_Arity.ar2

Bitvector Integer SUBtraction.

val bimul : size:int -> nsw:bool -> nuw:bool -> (binary, binary, binary) Transfer_functions.Backward_Arity.ar2

Bitvector Integer MULtiplication.

val bshl : size:int -> nsw:bool -> nuw:bool -> (binary, binary, binary) Transfer_functions.Backward_Arity.ar2
val bconcat : size1:int -> size2:int -> (binary, binary, binary) Transfer_functions.Backward_Arity.ar2
val bextract : size:int -> index:int -> oldsize:int -> (binary, binary) Transfer_functions.Backward_Arity.ar1
val buext : size:int -> oldsize:int -> (binary, binary) Transfer_functions.Backward_Arity.ar1
val bsext : size:int -> oldsize:int -> (binary, binary) Transfer_functions.Backward_Arity.ar1