PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: dec typ wf

t:dec(). t.typ SimpleType
By: YRecModulePiTac 2 `dec` [`dec_lbl`;`dec_typ`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc