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