toEval
Fact
ListFact
OriginFact
SingularFact
SynthesizedFact
toJson
PrettyPrinter
toString
ConstantValueEvaluation
ErrorEvaluation
ListFactEvaluation
NoopEvaluation
SingularFactEvaluation
Fact
trueCondition
Conditions