is mentioned by

Def action_effect(a;es;fs) == < e.smt | e < e es | e.kind = a > > + < mk_smt(f.var, f.var, f.typ) | f < f fs | a f.acts > >	[action_effect]
Def smt_terms(c) == < s.term | s c >	[smt_terms]
Def col_map_subst(x.f(x);c) == < f(x) | x c >	[col_map_subst]
Def dec_lookup(ds;x) == < d.typ | d < d ds | d.lbl = x > >	[dec_lookup]
Def action_pre(a;ps) == < p.rel | p < p ps | p.kind = a > >	[action_pre]

In prior sections: mb collection

Try larger context: GenAutomata