tpdb-0.8.2: Data Type for Rewriting Systems
TPDB.CPF.Proof.Xml
Description
from internal representation to XML, and back
tox :: CertificationProblem -> Document ()Source