Module `Convert_to_monadic.Binary_Forward`

type binary = D.binary

type boolean = D.boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Module Convert_to_monadic.Binary_Forward