MinizincModel.add_checker

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

add_checker(checker_model, model_info)