MinizincSearch.destroy

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

destroy(values, rate, offset \\ 0)