PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: smt typ wf

t:smt(). t.typ SimpleType
By: YRecModulePiTac 3 `smt` [`smt_lbl`;`smt_term`;`smt_typ`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc