MinizincResults.get_solution_value

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

get_solution_value(solution, varname)