• Sylvain Dailler's avatar
    fixes #68 · dd2493a7
    Sylvain Dailler authored
    Adding a search query "search_all" which search the declarations that
    contains at least one of the identifiers provided by the user.
    dd2493a7
server_utils.mli 3.13 KB