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

At: trace consistent wf 1
1. rho: Decl
2. t: Term
3. da: Collection(dec())
4. R: LabelLabel
5. g: Label
6. term_mentions_guard(g;t)

rho LabelType
By: Fold `decl` 0
Generated subgoals:

None

About:
boolassertfunctionuniversemember

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