Sig.Bitvector_Forward
include Bitvector_Backward
val biadd :
size:int ->
nsw:bool ->
nuw:bool ->
nusw:bool ->
(bitvector, bitvector, bitvector) Arity.ar2
Bitvector Integer ADDition.
val bisub :
size:int ->
nsw:bool ->
nuw:bool ->
nusw:bool ->
(bitvector, bitvector, bitvector) Arity.ar2
Bitvector Integer SUBtraction.
Bitvector Integer MULtiplication.