Module `NonRelationalDomain.Binary_Forward`

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Module NonRelationalDomain.Binary_Forward