lambdapi.core
Core.Ghost
Define a ghost signature that contain symbols used by the kernel but not defined by the user.
lambdapi.common
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
lambdapi.tool
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