hdiff
packages
feed
gf
-3.2: testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold
fun f : (Int -> Int) -> Int -> Int