MinizincSearch.find_k_handler

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

find_k_handler(k, solution_handler \\ MinizincHandler.Default)

Make a handler that breaks after k solutions found by a given solution handler.