empty | Language.Syntactic.Sharing.Utils |
Eval | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evalFull | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evalLambda | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
evalLambdaM | Language.Syntactic.Features.Binding |
EvalResult | Language.Syntactic.Syntax, Language.Syntactic |
evaluate | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evaluateFunc | Language.Syntactic.Features.Symbol |
ExprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic |
exprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic |
exprEqFunc | Language.Syntactic.Features.Symbol |
exprHash | Language.Syntactic.Analysis.Equality, Language.Syntactic |
exprHashFunc | Language.Syntactic.Features.Symbol |