{-# OPTIONS --cubical --safe #-}
module Cubical.Relation.Everything where

open import Cubical.Relation.Nullary public
open import Cubical.Relation.Nullary.DecidableEq public