Challenge (pickles.Limb_vector.Challenge)

type 'f t = 'f Snarky_backendless.Cvar.t

module Constant : sig ... end

module type S = sig ... end

module Make
  (Impl : Snarky_backendless.Snark_intf.Run) : 
  S with module Impl := Impl