hls-tactics-plugin-1.8.0.0: old/test/golden/IntroDestructOne.expected.hs

module Test where

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