Module Snarkable.Small_bit_vector

Parameters

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 assert_equal_var : Unpacked.var -> Unpacked.var -> unit Impl.Checked.t
val var_of_field_unsafe : Impl.Field.Var.t -> Packed.var