You can search for identifiers within the package.
in-package search v0.2.0
catala.surface
Make.Incremental
val source_file : Lexing.position -> Ast.law_structure list MenhirInterpreter.checkpoint