Build.BinarySourceval bunion :
size:Units.In_bits.t ->
Operator.Condition.t ->
Operator.Function_symbol.binary t ->
Operator.Function_symbol.binary t ->
Operator.Function_symbol.binary tval biadd :
size:Units.In_bits.t ->
flags:Operator.Flags.Biadd.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bisub :
size:Units.In_bits.t ->
flags:Operator.Flags.Biadd.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bimul :
size:Units.In_bits.t ->
flags:Operator.Flags.Bimul.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bshl :
size:Units.In_bits.t ->
flags:Operator.Flags.Bshl.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bconcat :
size1:Units.In_bits.t ->
size2:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bextract :
size:Units.In_bits.t ->
index:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val buext :
size:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val bsext :
size:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val valid :
size:Units.In_bits.t ->
Operator__Operator_sig.access_type ->
(binary, boolean) Operator.Forward_Arity.ar1val valid_ptr_arith :
size:Units.In_bits.t ->
Operator__Operator_sig.arith_type ->
(binary, binary, boolean) Operator.Forward_Arity.ar2val bshift :
size:Units.In_bits.t ->
offset:int ->
max:int option ->
(binary, binary) Operator.Forward_Arity.ar1val bindex :
size:Units.In_bits.t ->
int ->
(binary, binary, binary) Operator.Forward_Arity.ar2