You can search for identifiers within the package.
in-package search v0.2.0
priorityManager.ml
1 2 3 4 5 6 (* This filecontains the global views of priorities *) let lsp_message = -3 let feedback = -4 let execution = -3 let proof_view = -2 let move_cursor = -5
1 2 3 4 5 6
(* This filecontains the global views of priorities *) let lsp_message = -3 let feedback = -4 let execution = -3 let proof_view = -2 let move_cursor = -5