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