is mentioned by

Def trace(l) == tree_leaf(ts_trace(l))

[ttrace]

Try larger context: GenAutomata