tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.CPF.Proof.Read

Synopsis

Documentation

readCP :: String -> IO [CertificationProblem] Source #

dangerous: not all constructor arguments will be set. the function produces something like

CertificationProblem { input = CertificationProblemInput , proof = TrsTerminationProof undefined }

getDummy :: ArrowXml t1 => String -> t -> t1 (NTree XNode) t Source #