tpdb-0.9.8: Data Type for Rewriting Systems

Safe HaskellNone

TPDB.CPF.Proof.Util

Documentation

fromMarkedIdentifier :: Marked Identifier -> SymbolSource

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