{-# OPTIONS --cumulativity #-}

module ROmega.Types where

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

open import ROmega.Types.Syntax public
open import ROmega.Types.Semantics public