is mentioned by

Def sm{i:l}() == da:Declds:Decl({ds}Prop)({ds}(da){ds}Prop)	[sm]
Def M.action == (M.da)	[sm_action]

In prior sections: mb record

Try larger context: GenAutomata