Scalar_challenge (pickles.Pickles.Scalar

val to_field_constant : 
  endo:'f ->
  (module Plonk_checks.Field_intf with type t = 'f) ->
  Limb_vector.Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t ->
  'f

val to_field_checked' : 
  ?num_bits:int ->
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  'f Snarky_backendless.Cvar.t Kimchi_backend_common.Scalar_challenge.t ->
  'f Snarky_backendless.Cvar.t
  * 'f Snarky_backendless.Cvar.t
  * 'f Snarky_backendless.Cvar.t

val to_field_checked : 
  ?num_bits:int ->
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  endo:'f ->
  'f Snarky_backendless.Cvar.t Kimchi_backend_common.Scalar_challenge.t ->
  'f Snarky_backendless.Cvar.t

val test : 'f Composition_types.Spec.impl -> endo:'f -> unit

module Make
  (Impl : Snarky_backendless.Snark_intf.Run)
  (G : sig ... end)
  (Challenge : Limb_vector.Challenge.S with module Impl := Impl)
  (Endo : sig ... end) : 
  sig ... end