MinizincSearch.destroy_var

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

destroy_var(variable_name, values, destruction_rate, offset \\ 0)