---------------------------------------------------------------------------
-- * Exported
---------------------------------------------------------------------------

---------------------------------------------------------------------------
-- | Returns whether 'DRSRef' @d@ in local 'DRS' @ld@ is bound in the
-- global 'DRS' @gd@.
---------------------------------------------------------------------------
drsBoundRef :: DRSRef -> DRS -> DRS -> Bool
drsBoundRef _ (LambdaDRS _) _  = False
drsBoundRef :: DRSRef -> DRS -> DRS -> Bool
drsBoundRef _ (LambdaDRS _) _  = False
drsBoundRef _ (LambdaDRS _) _  = False