is mentioned by

Def dec_lookup(ds;x) == < d.typ | d < d ds | d.lbl = x > >

[dec_lookup]

Try larger context: GenAutomata