PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: rel name wf

t:rel(). t.name relname()
By: YRecModulePiTac 2 `rel` [`rel_name`;`rel_args`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc