PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: rel args wf

t:rel(). t.args Term List
By: YRecModulePiTac 2 `rel` [`rel_name`;`rel_args`]
Generated subgoals:

None

About:
listmemberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc