microecta-0.1.0.0: src/Data/ECTA/Term.hs
-- | Public re-export of concrete terms and symbols.
module Data.ECTA.Term (
Symbol (Symbol),
Term (..),
) where
import Data.ECTA.Internal.Term
-- | Public re-export of concrete terms and symbols.
module Data.ECTA.Term (
Symbol (Symbol),
Term (..),
) where
import Data.ECTA.Internal.Term