Data.Tree.Knuth
data KnuthTree a
firstTree
size
elem
elemPath
isSubtreeOf
isSubtreeOf'
isProperSubtreeOf
isProperSubtreeOf'
isChildOf
isDescendantOf
isProperDescendantOf
singleton
delete
union
intersection
difference
toTree
fromTree