rest-rewrite-0.4.0: Rewriting library with online termination checking

Index - D

DagLanguage.REST.Dot
deleteLanguage.REST.Internal.MultiSet
deleteManyLanguage.REST.Internal.MultiSet
descendentsLanguage.REST.Internal.PartialOrder
differenceLanguage.REST.WQOConstraints.Strict
DiGraph 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
distinctElemsLanguage.REST.Internal.MultiSet