hls-tactics-plugin-1.3.0.0: test/golden/DestructAllFunc.expected.hs

has_a_func :: Bool -> (a -> b) -> Bool
has_a_func False y = _w0
has_a_func True y = _w1