Composition_types.Challenges_vector
type 'n t = ( Backend.Tock.Field.t Snarky_backendless.Cvar.t Wrap_bp_vec.t, 'n ) Pickles_types.Vector.t
module Constant : sig ... end