Concrete.Bitvector_Interp
type bitvector = Z.t
type boolean = bool
val biadd : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> bitvector -> bitvector -> bitvector
Bitvector Integer ADDition.
val bisub : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> bitvector -> bitvector -> bitvector
Bitvector Integer SUBtraction.
val bimul : size:int -> nsw:bool -> nuw:bool -> bitvector -> bitvector -> bitvector
Bitvector Integer MULtiplication.
val bshl : size:int -> nsw:bool -> nuw:bool -> bitvector -> bitvector -> bitvector
val bashr : size:int -> bitvector -> bitvector -> bitvector
val blshr : size:int -> bitvector -> bitvector -> bitvector
val beq : size:int -> bitvector -> bitvector -> boolean
val bisle : size:int -> bitvector -> bitvector -> boolean
val biule : size:int -> bitvector -> bitvector -> boolean
val bconcat : size1:int -> size2:int -> bitvector -> bitvector -> bitvector
val bextract : size:int -> index:int -> oldsize:int -> bitvector -> bitvector
val band : size:int -> bitvector -> bitvector -> bitvector
val bor : size:int -> bitvector -> bitvector -> bitvector
val bxor : size:int -> bitvector -> bitvector -> bitvector
val buext : size:int -> oldsize:int -> bitvector -> bitvector
val bsext : size:int -> oldsize:int -> bitvector -> bitvector
val bisdiv : size:int -> bitvector -> bitvector -> bitvector
val bismod : size:int -> bitvector -> bitvector -> bitvector
val biudiv : size:int -> bitvector -> bitvector -> bitvector
val biumod : size:int -> bitvector -> bitvector -> bitvector
val bofbool : size:int -> boolean -> bitvector
val biconst : size:int -> Z.t -> bitvector