-- {-# OPTIONS --type-in-type #-}
-- {-# OPTIONS --inversion-max-depth=100  #-}

module Relations.Relations where

open import Relations.Core public
open import Relations.Wellfounded  public
open import Relations.ClosureOperators public
-- open import Knaster-Tarski public
