hls-tactics-plugin-1.4.0.0: test/golden/IntroDestructProvider.hs

hasAlgTy :: Maybe Int -> Int
hasAlgTy = _

hasFunTy :: (Int -> Int) -> Int
hasFunTy = _

isSaturated :: Bool -> Int
isSaturated b = _