Module Build.Binary

val empty : size:int -> Transfer_functions.Term.binary t
val unknown : size:int -> level:int -> Transfer_functions.Term.binary t
include Transfer_functions.Binary_Forward with module Arity := Transfer_functions.Forward_Arity and type boolean = Transfer_functions.Term.boolean t and type binary = Transfer_functions.Term.binary t
val biadd : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> (binary, binary, binary) Transfer_functions.Forward_Arity.ar2

Bitvector Integer ADDition.

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

Bitvector Integer SUBtraction.

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

Bitvector Integer MULtiplication.

val bshl : size:int -> nsw:bool -> nuw:bool -> (binary, binary, binary) Transfer_functions.Forward_Arity.ar2
val bconcat : size1:int -> size2:int -> (binary, binary, binary) Transfer_functions.Forward_Arity.ar2
val bextract : size:int -> index:int -> oldsize:int -> (binary, binary) Transfer_functions.Forward_Arity.ar1
val buext : size:int -> oldsize:int -> (binary, binary) Transfer_functions.Forward_Arity.ar1
val bsext : size:int -> oldsize:int -> (binary, binary) Transfer_functions.Forward_Arity.ar1
val valid : size:int -> Transfer_functions__.Transfer_functions_sig.access_type -> (binary, boolean) Transfer_functions.Forward_Arity.ar1
val valid_ptr_arith : size:int -> (binary, binary, boolean) Transfer_functions.Forward_Arity.ar2
val bshift : size:int -> offset:int -> max:int option -> (binary, binary) Transfer_functions.Forward_Arity.ar1
val bindex : size:int -> int -> (binary, binary, binary) Transfer_functions.Forward_Arity.ar2
val bchoose : size:int -> int -> (binary, binary) Transfer_functions.Forward_Arity.ar1
val biconst : size:int -> Z.t -> binary Transfer_functions.Forward_Arity.ar0