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