Table | Data.HDiff.Change.TreeEditDistance |
tagProperShare | Data.HDiff.Diff.Modes |
termApply | Data.HDiff.Change.Apply |
thin | |
1 (Function) | Data.HDiff.Change.Thinning |
2 (Function) | Data.HDiff.Patch.Thinning |
thin' | Data.HDiff.Change.Thinning |
ThinningErr | Data.HDiff.Change.Thinning |
thinUTx2 | Data.HDiff.Change.Thinning |
ToES | Data.HDiff.Change.TreeEditDistance |
toES | |
1 (Function) | Data.HDiff.Change.TreeEditDistance |
2 (Function) | Data.HDiff.Patch.TreeEditDistance |
toES' | Data.HDiff.Patch.TreeEditDistance |
toList | Data.WordTrie |
toW64s | Generics.MRSOP.HDiff.Digest |
tr | |
1 (Function) | Data.HDiff.Example |
2 (Function) | Data.HDiff.Change.Thinning |
transport | Data.HDiff.Change.Apply |
Tree23 | Data.HDiff.Example |
treeDigest | Data.HDiff.Diff.Preprocess |
treeHeight | Data.HDiff.Diff.Preprocess |
treeParm | Data.HDiff.Diff.Preprocess |
TreeTerm | Data.HDiff.Example |
Trie | Data.WordTrie |
trieMap | Data.WordTrie |
trieVal | Data.WordTrie |