• Johannes Kanig's avatar
    O225-030 render traversal function more generic · d9a3aab4
    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
    d9a3aab4
termcode.mli 3 KB