LRUCache
engine
Level
engine
Levels
engine
ListEvaluationWrapper
engine
ListFact
facts
ListFactEvaluation
engine
length
FileSourcePosition
levelSorter
DerivationTools
line
FileSourcePosition