MinizincResults.has_solution

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

has_solution(solver_results)