A constraint-based approach to function interpolation, with application to performance estimation for weakly convex optimization.