aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/PatternOperators/infix-function-equation-infix-pattern-operands.hs

{- ORACLE_TEST pass -}
module InfixFunctionEquationInfixPatternOperands where

data List a = Nil | a :&: List a

a :&: as == b :&: bs = ()