-- | Typing terms.
module Language.Symantic.Typing
 ( module Language.Symantic.Typing.Kind
 , module Language.Symantic.Typing.Constant
 , module Language.Symantic.Typing.Type
 , module Language.Symantic.Typing.Constraint
 , module Language.Symantic.Typing.Family
 ) where

import Language.Symantic.Typing.Kind
import Language.Symantic.Typing.Constant
import Language.Symantic.Typing.Type
import Language.Symantic.Typing.Constraint
import Language.Symantic.Typing.Family