is mentioned by

Thm* d:dec(), rho:Decl, s:{[[d]] rho}. s {[[ < d > ]] rho}	[decls_mng_singleton]
Def [[ds]] rho == [[d]] rho for d {d:dec()| d ds }	[decls_mng]

Try larger context: GenAutomata