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