You can search for identifiers within the package.
in-package search v0.2.0
atd
Atd.Check
Check the validity of an ATD file beyond syntax.
For example, this checks that each type definition is unique.
val check : Ast.module_ -> unit
Check the validity of an ATD file. Raises an exception on the first error encountered.