hls-tactics-plugin-1.2.0.0: test/golden/AutoInfixInfix.expected.hs
test :: (a -> b -> c) -> (c -> d -> e) -> a -> (a -> b) -> d -> e test (/:) (-->) a f x = (a /: f a) --> x
test :: (a -> b -> c) -> (c -> d -> e) -> a -> (a -> b) -> d -> e test (/:) (-->) a f x = (a /: f a) --> x