You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.core
Sign.Ghost
Signature for symbols introduced by Lambdapi and not the user (e.g. unification/coercion rules, strings) and always loaded.
val path : Common.Path.Path.t
val sign : t
val find : Lplib.Extra.StrMap.key -> Term.sym
val iter : (Term.sym -> unit) -> unit
iter f iters function f on ghost symbols.
iter f
f