MinizincSearch.bab

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

bab(instance, branch_fun)

Branch-and-bound