tpdb-2.2.0: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.CPF.Proof.Util

Documentation

fromMarkedIdentifier :: Marked Identifier -> Symbol Source #

sortVariables :: Rule (Term Identifier s) -> Rule (Term Identifier s) Source #