TPDB.DP

Documentation

data Marked a

Constructors

Original a

Marked a

Auxiliary a

Instances

Eq a => Eq (Marked a)

Ord a => Ord (Marked a)

Hashable a => Hashable (Marked a)

Pretty a => Pretty (Marked a)

dp :: Ord a => RS s1 (Term v a) -> RS s (Term v (Marked a))