TPDB.CPF.Proof.Type

data CertificationProblem

data Origin

ignoredOrigin

data Tool

data CertificationProblemInput

data Proof

data DPS

data ComplexityProof

data ComplexityMeasure

data ComplexityClass

data TrsNonterminationProof

data TrsTerminationProof

data Model

data DpProof

data DepGraphComponent

data OrderingConstraintProof

data RedPair

data Interpretation

data Interpretation_Type

data Domain

data Interpret

data Value

data Polynomial

data ArithFunction

data Symbol

data Label

data Coefficient

data Exotic

class ToExotic a

data PathOrder

data PrecedenceEntry

data ArgumentFilterEntry

data Identifier

type TES