PrintForm Definitions mb structures Sections GenAutomata Doc

At: msg sender wf


M:MessageStruct. sender(M) |M|Label

By:
Analyze 0
THEN
Unfold `msg_sender` 0
THEN
RepeatFor 4 ((Analyze -1) THEN (Reduce 0))


Generated subgoals:

None


About:
functionmemberall

PrintForm Definitions mb structures Sections GenAutomata Doc