Field (snark_bits.Snark_bits.Bits.Snarkable.Field)

Parameters

module Impl : Snarky_backendless.Snark_intf.S

Signature

include Bits_intf.Snarkable.Basic
  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 = Impl.Field.t
  with type Unpacked.var = Impl.Boolean.var list
  with type Unpacked.value = Impl.Field.t

val size_in_bits : int

module Packed : sig ... end

module Unpacked : sig ... end

val project_value : Unpacked.value -> Packed.value

val unpack_value : Packed.value -> Unpacked.value

val project_var : Unpacked.var -> Packed.var

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