Module `Domain.Binary_Forward`

val biadd : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Biadd.t ->
  Context.t ->
  binary ->
  binary ->
  binary

val bisub : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Biadd.t ->
  Context.t ->
  binary ->
  binary ->
  binary

val bimul : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Bimul.t ->
  Context.t ->
  binary ->
  binary ->
  binary

val bshl : 
  size:Units.In_bits.t ->
  flags:Operator.Flags.Bshl.t ->
  Context.t ->
  binary ->
  binary ->
  binary

val bashr : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val blshr : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val beq : size:Units.In_bits.t -> Context.t -> binary -> binary -> boolean

val bisle : size:Units.In_bits.t -> Context.t -> binary -> binary -> boolean

val biule : size:Units.In_bits.t -> Context.t -> binary -> binary -> boolean

val bconcat : 
  size1:Units.In_bits.t ->
  size2:Units.In_bits.t ->
  Context.t ->
  binary ->
  binary ->
  binary

val bextract : 
  size:Units.In_bits.t ->
  index:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  Context.t ->
  binary ->
  binary

val band : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val bor : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val bxor : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val buext : 
  size:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  Context.t ->
  binary ->
  binary

val bsext : 
  size:Units.In_bits.t ->
  oldsize:Units.In_bits.t ->
  Context.t ->
  binary ->
  binary

val bisdiv : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val bismod : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val biudiv : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val biumod : size:Units.In_bits.t -> Context.t -> binary -> binary -> binary

val bofbool : size:Units.In_bits.t -> Context.t -> boolean -> binary

val valid : 
  size:Units.In_bits.t ->
  Operator__Operator_sig.access_type ->
  Context.t ->
  binary ->
  boolean

val valid_ptr_arith : 
  size:Units.In_bits.t ->
  Operator__Operator_sig.arith_type ->
  Context.t ->
  binary ->
  binary ->
  boolean

val bshift : 
  size:Units.In_bits.t ->
  offset:int ->
  max:int option ->
  Context.t ->
  binary ->
  binary

val bindex : 
  size:Units.In_bits.t ->
  int ->
  Context.t ->
  binary ->
  binary ->
  binary

val bchoose : size:Units.In_bits.t -> int -> Context.t -> binary -> binary

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

val buninit : size:Units.In_bits.t -> Context.t -> binary

Module Domain.Binary_Forward