TPDB.Data

data Identifier

mk

data Funcsym

data Signature

data Replacementmap

data RS s r

strict_rules

weak_rules

equal_rules

type TRS v s

type SRS s

data Problem v s

data Type

data Strategy

data Theorydecl v s

data Theory

data Startterm

type TES

type SES

mknullary

mkunary

from_strict_rules

with_rules