You can search for identifiers within the package.
in-package search v0.2.0
module Ae : sig ... end
AE builtins
module Dimacs : sig ... end
Dimacs builtins
module Tptp : sig ... end
TPTP builtins ($i, $o, etc..)
module Smtlib2 : sig ... end
Smtlib builtin
module Zf : sig ... end
Zf builtins