path: root/src/Cfe/Expression.agda

{-# OPTIONS --without-K --safe #-}

module Cfe.Expression
  {ℓ} (A : Set ℓ)
  where

open import Cfe.Expression.Base A public