hls-tactics-plugin-1.4.0.0: test/golden/IntroDestructMany.expected.hs

x :: Bool -> Maybe Int -> String -> Int
x False = _w0
x True = _w1