{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module GHC.Base_LHAssumptions where import GHC.CString_LHAssumptions() import GHC.Exts_LHAssumptions() import GHC.Types_LHAssumptions() import GHC.Base import Data.Tuple_LHAssumptions() {-@ assume GHC.Base.. :: forall
c -> Bool, q :: a -> b -> Bool, r :: a -> c -> Bool>.
{xcmp::a, wcmp::b <: c )
-> (zcmp:a -> b |- c
)
-> xcmp:a -> c