hls-tactics-plugin-1.1.0.0: test/golden/DestructAllAnd.hs.expected

and :: Bool -> Bool -> Bool
and False False = _
and True False = _
and False True = _
and True True = _