HERMIT.Dictionary.Fold
externals
foldR
foldVarR
foldVarConfigR
runFoldR
fold
compileFold
runFold
runFoldMatches
data CompiledFold
proves
lemmaMatch
data Equality
toEqualities
flipEquality
freeVarsEquality
ppEqualityT