PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: sig rel wf

t:sig(). t.rel Label(SimpleType List)
By: YRecModulePiTac 2 `sig` [`sig_fun`;`sig_rel`]
Generated subgoals:

None

About:
listfunctionmemberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc