You can search for identifiers within the package.
in-package search v0.2.0
catala.dcalc
Dcalc.Autotest
This module scans a program for "test" scopes, detected as scopes without any undefined inputs. It runs the interpreter to compute their results, then inserts assertion in the code that ensure correctness of said results.
val program : 'm Ast.program -> 'm Ast.program