{-# OPTIONS --safe #-}

module Empty.Relations where

open import Empty.Relations.Antisymmetric public
open import Empty.Relations.Antitransitive public
open import Empty.Relations.Asymmetric public
open import Empty.Relations.Irreflexive public
open import Empty.Relations.Transitive public
open import Empty.Relations.Symmetric public