{-# OPTIONS --with-K #-}
module agda-relations where

-- ** Inference rules
open import Relation.InferenceRules

-- ** Closures
open import Class.HasInitial
open import Relation.Closure
open import Test.Relation.Closure