module
Data.ECTA.Term
(
Symbol
(
Symbol
)
,
Term
(
..
)
)
where
import
Data.ECTA.Internal.Term