You can search for identifiers within the package.
in-package search v0.2.0
catala.verification
Verification.Solver
Solves verification conditions using various proof backends
val solve_vc : Shared_ast.decl_ctx -> Conditions.verification_condition list -> unit