is mentioned
In prior sections: mb record mb events mb automata 1 mb automata 2 mb automata 3 mb automata 4 mb state machine
d) == l:Label
decl_type(d;l)