aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/Hackage/sbv-function-head-at-operator.hs

{- ORACLE_TEST pass -}
f e (@) = do
  undefined