Lifter
The core lambda lift functionality.
Value members
Concrete methods
A symbol is local if it is owned by a term or a local trait, or if it is a constructor of a local symbol.
A symbol is local if it is owned by a term or a local trait, or if it is a constructor of a local symbol.