You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.core
Core.Ghost
Define a ghost signature that contain symbols used by the kernel but not defined by the user.
val sign : Sign.t
The signature holding ghost symbols.
val path : Common.Path.t
The path of the ghost signature
val mem : Term.sym -> bool
mem s returns true if s is a ghost symbol.
mem s
true
s
val iter : (Term.sym -> unit) -> unit
iter f iters function f on ghost symbols.
iter f
f