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

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

open import ROmega.IndexCalculus.Rows public
open import ROmega.IndexCalculus.Records public
open import ROmega.IndexCalculus.Variants public