MinizincResults.get_solution_count

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

get_solution_count(solver_results)