Data.Tree.Knuth.Forest
data KnuthForest a
size
elem
isSubforestOf
isSubforestOf'
isProperSubforestOf
isProperSubforestOf'
isSiblingOf
isChildOf
isDescendantOf
isProperDescendantOf
singleton
delete
union
intersection
difference