is mentioned by

Def l == tree_leaf(ts_var(l))

[tvar]

Try larger context: GenAutomata