{-+
This module collects type inference for the base syntax structure,
which is intended to be reuseable in extensions of the base syntax.
The knot-tying definitions for the recursive base syntax is in TiBase.
-}
module TiBaseStruct(module Ti) where
import TiD as Ti
import TiE as Ti
import TiP as Ti
import TiT as Ti
import TiLit as Ti
-- more?
