PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: eff smt wf

t:eff(). t.smt smt()
By: YRecModulePiTac 4 `eff` [`eff_kind`;`eff_val`;`eff_typ`;`eff_smt`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc