------------------------------------------------------------------------
-- Relations
------------------------------------------------------------------------

module Tools.Relation where

open import Relation.Binary.Core using (Rel) public
open import Relation.Binary.Definitions
  using (Decidable; Reflexive; Symmetric; Transitive) public
open import Relation.Binary.Bundles using (Poset; Preorder; Setoid; DecSetoid) public
open import Relation.Binary.Structures using (IsPartialOrder; IsPreorder; IsEquivalence) public
open import Relation.Nullary using (Dec; yes; no) public