is mentioned by

Def (d) == l:Labeldecl_type(d;l)	[sigma]
Def {d} == l:Labeldecl_type(d;l)	[record]

In prior sections: mb label mb declaration

Try larger context: GenAutomata