MinizincSearch.better_objective_constraint

You're seeing just the function better_objective_constraint, go back to MinizincSearch module for more information.
Link to this function

better_objective_constraint(solution, objective_var, method)