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