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

At: empty sts mng 1
1. v: Top
2. rho: Decl
3. x: {x:SimpleType| x < > }

v [[x]] rho
By:
Analyze -1
THEN
RW ColMemberC -1
THEN
Trivial
Generated subgoals:

None

About:
setmembertop

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