module Test.IOTasks.Term ( Term, TermKind(..), oEval, termVarExps, transparentSubterms, showTerm, showIndexedTerm, SomeTerm(..), withSomeTerm, SomeTermK(..), withSomeTermK, castTerm, ) where import Test.IOTasks.Internal.Term