You can search for identifiers within the package.
in-package search v0.2.0
catala.lcalc
Lcalc.Compile_with_exceptions
Translation from the default calculus to the lambda calculus
val translate_program : Dcalc.Ast.program -> Ast.program