(7steps) PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: decls mng subtype 2
1. ds: Collection(dec())
2. rho: Decl
3. x: Label

[[d]] rho for d {d:dec()| d ds } LabelType
By: Fold `decl` 0
Generated subgoals:

None

About:
setfunctionuniversemember

(7steps) PrintForm Definitions mb automata 3 Sections GenAutomata Doc