-
Johannes Kanig authored
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels
69de5f30
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels