{-# OPTIONS --cumulativity #-} module ROmega.Types where -------------------------------------------------------------------------------- -- Re-export Syntax & Semantics open import ROmega.Types.Syntax public open import ROmega.Types.Semantics public