Challenges_vector.Constant
type 'n t = ( Backend.Tock.Field.t Wrap_bp_vec.t, 'n ) Pickles_types.Vector.t