(4steps) PrintForm Definitions Lemmas mb automata 3 Sections GenAutomata Doc

At: sigma decls mng value 1 1 1
1. ds: Collection(dec())
2. rho: Decl
3. l: Label
4. a1: [[ds]] rho(l)
5. x: SimpleType
6. x dec_lookup(ds;l)

mk_dec(l, x) ds
By: RWW "member_dec_lookup" -1
Generated subgoals:

None

About:
apply

(4steps) PrintForm Definitions Lemmas mb automata 3 Sections GenAutomata Doc