tpdb-2.8.6: Data Type for Rewriting Systems
Safe HaskellNone
LanguageHaskell2010

TPDB.CPF.Proof.Util

Documentation

fromMarkedIdentifier :: Marked Identifier -> Symbol Source #

sortVariables :: (Ord s, Hashable s) => Rule (Term Identifier s) -> Rule (Term Identifier s) Source #