Small_bit_vector (snark_bits.Snark_bits.Bits.Snarkable.Small_bit

Parameters

module Impl : Snarky_backendless.Snark_intf.S

module V : sig ... end

Signature

include Bits_intf.Snarkable.Faithful
  with type Packed.var = private Impl.Field.Var.t
  with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
  with type 'a checked := 'a Impl.Checked.t
  with type boolean_var := Impl.Boolean.var
  with type Packed.var = Impl.Field.Var.t
  with type Packed.value = V.t
  with type Unpacked.var = Impl.Boolean.var list
  with type Unpacked.value = V.t

include Bits_intf.Snarkable.Basic
  with type Packed.var = private Impl.Field.Var.t
  with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
  with type 'a checked := 'a Impl.Checked.t
  with type boolean_var := Impl.Boolean.var
  with type Packed.var = Impl.Field.Var.t
  with type Packed.value = V.t
  with type Unpacked.var = Impl.Boolean.var list
  with type Unpacked.value = V.t

val size_in_bits : int

module Packed : sig ... end

module Unpacked : sig ... end

val pack_value : Unpacked.value -> Packed.value

val unpack_value : Packed.value -> Unpacked.value

val pack_var : Unpacked.var -> Packed.var

val unpack_var : Packed.var -> Unpacked.var Impl.Checked.t

val compare_var : 
  Unpacked.var ->
  Unpacked.var ->
  Impl.Field.Checked.comparison_result Impl.Checked.t

val increment_var : Unpacked.var -> Unpacked.var Impl.Checked.t

val increment_if_var : 
  Unpacked.var ->
  Impl.Boolean.var ->
  Unpacked.var Impl.Checked.t

val assert_equal_var : Unpacked.var -> Unpacked.var -> unit Impl.Checked.t

val equal_var : Unpacked.var -> Unpacked.var -> Impl.Boolean.var Impl.Checked.t

val var_of_field : Impl.Field.Var.t -> Unpacked.var Impl.Checked.t

val var_of_field_unsafe : Impl.Field.Var.t -> Packed.var

val if_ : 
  Impl.Boolean.var ->
  then_:Unpacked.var ->
  else_:Unpacked.var ->
  Unpacked.var Impl.Checked.t