lambdapi.core
Sign.Ghost
Signature for symbols introduced by Lambdapi and not the user (e.g. unification/coercion rules, strings) and always loaded.
lambdapi.common
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
lambdapi.tool
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