-- | This module exports the syntax constructs for the lifted IR representation.
module FreeC.LiftedIR.Syntax
  ( module FreeC.LiftedIR.Syntax.Expr
  , module FreeC.LiftedIR.Syntax.Name
  , module FreeC.LiftedIR.Syntax.Type
  ) where

import           FreeC.LiftedIR.Syntax.Expr
import           FreeC.LiftedIR.Syntax.Name
import           FreeC.LiftedIR.Syntax.Type