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