aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/QuantifiedConstraints/constraint-operators.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE QuantifiedConstraints #-}

module QuantifiedConstraintOperators where

class (p => q) => p |- q
instance (p => q) => p |- q
class (p,q) => p & q
instance (p,q) => p & q