You can search for identifiers within the package.
in-package search v0.2.0
catala.desugared
Desugared.Linting
val lint_program : Ast.program -> unit
Performs various lints on the program, displaying warnings to help the developer improve the code.