Challenge.S
module Impl : Snarky_backendless.Snark_intf.Run
type nonrec t = Impl.field t
module Constant : sig ... end
val typ : ( t, Constant.t ) Impl.Typ.t
val length : int