FoldResultEvidence

shared

FoldResultEvidenceLowPrio

shared

foldCase

TypeLevelFoldLeftLowPrio

folderLeftList

TypeLevelFoldLeftListLowPrio