------------------------------------------------------------------------
-- The Agda standard library
--
-- Properties of homogeneous ternary relations
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe #-}

module Relation.Ternary where

------------------------------------------------------------------------
-- Re-export various components of the ternary relation hierarchy

open import Relation.Ternary.Core public
open import Relation.Ternary.Definitions public
-- open import Relation.Ternary.Structures public
-- open import Relation.Ternary.Bundles public