You can search for identifiers within the package.
in-package search v0.2.0
logtk
AC.A
val is_ac : ID.t -> bool
val is_comm : ID.t -> bool