PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: eff typ wf

t:eff(). t.typ SimpleType
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