Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
tcap :: (Ord v, Ord c) => TRS v c -> Term v c -> Term Int c Source
This function keeps only those parts of the input term which cannot be reduced, even if the term is instantiated. All other parts are replaced by fresh variables. Def 4.4 in http://cl-informatik.uibk.ac.at/users/griff/publications/Sternagel-Thiemann-RTA10.pdf