tpdb-2.7.3: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
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 #