PrintForm Definitions mb structures Sections GenAutomata Doc

At: msg id wf

M:MessageStruct. uid(M) |M|
By:
Analyze 0
THEN
Unfold `msg_id` 0
THEN
RepeatFor 5 ((Analyze -1) THEN (Reduce 0))
Generated subgoals:

None

About:
intfunctionmemberall

PrintForm Definitions mb structures Sections GenAutomata Doc