Field_backed (snark_bits.Snark_bits.Bits.Snarkable.Field

Parameters

module Impl : Snarky_backendless.Snark_intf.S

module M : sig ... end

include module type of struct include M end

val bit_length : int

val size_in_bits : int

module Packed : sig ... end

module Unpacked : sig ... end

val project_value : 'a -> 'a

val project_var : Impl.Boolean.var list -> Impl.Field.Var.t

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

val unpack_value : 'a -> 'a