PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: sig fun wf

t:sig(). t.fun LabelSimpleType
By: YRecModulePiTac 2 `sig` [`sig_fun`;`sig_rel`]
Generated subgoals:

None

About:
functionmemberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc