-- | Types for the expressions.
module Language.Symantic.Type
 ( module Language.Symantic.Type.Common
 , module Language.Symantic.Type.Fun
 , module Language.Symantic.Type.Unit
 , module Language.Symantic.Type.Bool
 , module Language.Symantic.Type.Int
 , module Language.Symantic.Type.Maybe
 , module Language.Symantic.Type.Ordering
 , module Language.Symantic.Type.Var
 ) where

import Language.Symantic.Type.Common
import Language.Symantic.Type.Fun
import Language.Symantic.Type.Unit
import Language.Symantic.Type.Bool
import Language.Symantic.Type.Int
import Language.Symantic.Type.Maybe
import Language.Symantic.Type.Ordering
import Language.Symantic.Type.Var