MinizincResults.get_status

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

get_status(solver_results)