MinizincResults.get_solution_objective

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

get_solution_objective(solution)