{-# OPTIONS --exact-split --safe --prop #-}
module Relation.Binary where

open import Relation.Binary.Definition public
open import Relation.Binary.Property public 
open import Relation.Binary.Order public
open import Relation.Binary.ReflexiveTransitiveClosure public
