is mentioned by

Def l' == tree_leaf(ts_pvar(l))

[tpvar]

Try larger context: GenAutomata