-- Module      : Eser.EqRel
-- Description : Representations and properties of equivalence relations.
-- Copyright   : (c) Lulof Pirée, 2026
-- License     : AGPL-v3
-- Maintainer  : Lulof Pirée
--------------------------------------------------------------------------------
-- High-level file that exports content of other files.
--------------------------------------------------------------------------------

module Eser.EqRel where

open import Eser.EqRel.Definitions public
open import Eser.EqRel.Conversions public
open import Eser.EqRel.LocalisiblePred public
open import Eser.EqRel.Correspondences public