HERMIT.Dictionary.Fold

Fold/Unfold Transformation

externals

foldR

foldVarR

stashFoldR

stashFoldAnyR

Unlifted fold interface

fold

unifyTypes

tyMatchesToCoreExpr