Module `Build.Binary`

val empty : size:Units.In_bits.t -> Operator.Function_symbol.binary t

val bunion : 
  size:Units.In_bits.t ->
  Operator.Condition.t ->
  Operator.Function_symbol.binary t ->
  Operator.Function_symbol.binary t ->
  Operator.Function_symbol.binary t

val unknown : 
  size:Units.In_bits.t ->
  level:int ->
  Operator.Function_symbol.binary t

type binary = Operator.Function_symbol.binary t

type boolean = Operator.Function_symbol.boolean t

val biadd : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Biadd.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bisub : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Biadd.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bimul : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Bimul.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bshl : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Bshl.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bashr : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val blshr : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val beq : 
  size:Units.In_bits.t ->
  (binary, binary, boolean) Operator.Forward_Arity.ar2

val bisle : 
  size:Units.In_bits.t ->
  (binary, binary, boolean) Operator.Forward_Arity.ar2

val biule : 
  size:Units.In_bits.t ->
  (binary, binary, boolean) Operator.Forward_Arity.ar2

val bconcat : 
  size1:Units.In_bits.t ->
  size2:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bextract : 
  size:Units.In_bits.t ->
  index:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  (binary, binary) Operator.Forward_Arity.ar1

val band : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bor : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bxor : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val buext : 
  size:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  (binary, binary) Operator.Forward_Arity.ar1

val bsext : 
  size:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  (binary, binary) Operator.Forward_Arity.ar1

val bisdiv : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bismod : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val biudiv : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val biumod : 
  size:Units.In_bits.t ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bofbool : 
  size:Units.In_bits.t ->
  (boolean, binary) Operator.Forward_Arity.ar1

val valid : 
  size:Units.In_bits.t ->
  Operator__Operator_sig.access_type ->
  (binary, boolean) Operator.Forward_Arity.ar1

val valid_ptr_arith : 
  size:Units.In_bits.t ->
  Operator__Operator_sig.arith_type ->
  (binary, binary, boolean) Operator.Forward_Arity.ar2

val bshift : 
  size:Units.In_bits.t ->
  offset:int ->
  max:int option ->
  (binary, binary) Operator.Forward_Arity.ar1

val bindex : 
  size:Units.In_bits.t ->
  int ->
  (binary, binary, binary) Operator.Forward_Arity.ar2

val bchoose : 
  size:Units.In_bits.t ->
  int ->
  (binary, binary) Operator.Forward_Arity.ar1

val biconst : size:Units.In_bits.t -> Z.t -> binary Operator.Forward_Arity.ar0

val buninit : size:Units.In_bits.t -> binary Operator.Forward_Arity.ar0

Module Build.Binary

Module `Build.Binary`