tpdb-0.8.3: Data Type for Rewriting Systems

Safe HaskellNone

TPDB.CPF.Proof.Xml

Description

from internal representation to XML, and back

Documentation

tox :: CertificationProblem -> Document ()Source