-- | Export Module for SSTG.Syntax
module SSTG.Core.Language
    ( module SSTG.Core.Language.Syntax
    , module SSTG.Core.Language.Typing
    ) where

import SSTG.Core.Language.Syntax
import SSTG.Core.Language.Typing