is mentioned by

Def f == tree_leaf(ts_op(f))

[topr]

Try larger context: GenAutomata