tpdb-1.3.3: Data Type for Rewriting Systems
TPDB.CPF.Proof.Util
fromMarkedIdentifier :: Marked Identifier -> Symbol Source #
sortVariables :: Rule (Term Identifier s) -> Rule (Term Identifier s) Source #