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