Module `Sig.Convert_Binary_Forward`

Parameters

module C : Convert_Contexts

module D : With_Binary_Forward with module Context = C.To

module C : sig ... end

module F : sig ... end

include sig ... end

type binary = F.binary

type boolean = F.boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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