You can search for identifiers within the package.
in-package search v0.2.0
compile.ml
1 2 3 4 5 6 7 (* SPDX-License-Identifier: MIT *) (* Copyright (C) 2023-2024 formalsec *) (* Written by the Smtml programmers *) let until_rewrite filename = let script = Parse.from_file filename in Rewrite.rewrite script
1 2 3 4 5 6 7
(* SPDX-License-Identifier: MIT *) (* Copyright (C) 2023-2024 formalsec *) (* Written by the Smtml programmers *) let until_rewrite filename = let script = Parse.from_file filename in Rewrite.rewrite script