{-# OPTIONS --cumulativity #-}
module ROmega.Equivalence where

--------------------------------------------------------------------------------
-- Re-export Syntax & Semantics

open import ROmega.Equivalence.Syntax public
open import ROmega.Equivalence.Semantics public