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

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

open import ROmega.Terms.Syntax public
open import ROmega.Terms.Semantics public