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

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

