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