{-# OPTIONS --safe #-}

module Natural.Relations where

open import Natural.Relations.Transitive public
open import Natural.Relations.Reflexive public
open import Natural.Relations.Symmetric public
open import Natural.Relations.Asymmetric public
open import Natural.Relations.Antisymmetric public