hls-tactics-plugin-1.2.0.0: test/golden/MetaChoice.hs
reassoc :: (a, (b, c)) -> ((a, b), c) reassoc (a, (b, c)) = [wingman| split; split | assume c; assume a | assume b |]
reassoc :: (a, (b, c)) -> ((a, b), c) reassoc (a, (b, c)) = [wingman| split; split | assume c; assume a | assume b |]