Characteristic predicate StandardLibrary::DirectEval::DirectEval

DirectEval()