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

TPDB.CPF.Proof.Util

Documentation

fromMarkedIdentifier :: Marked Identifier -> Symbol Source #

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