Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Define a ghost signature that contain symbols used by the kernel but not defined by the user.
val sign : Sign.tThe signature holding ghost symbols.
val path : Common.Path.tThe path of the ghost signature
val mem : Term.sym -> boolmem s returns true if s is a ghost symbol.
val iter : (Term.sym -> unit) -> unititer f iters function f on ghost symbols.