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

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

open import ROmega.Entailment.Syntax public
open import ROmega.Entailment.Semantics public