tpdb-0.8.2: Data Type for Rewriting Systems
TPDB.DP
data Marked a Source
Constructors
Instances
dp :: Ord a => RS s1 (Term t a) -> RS s (Term t (Marked a))Source