PrintForm
Definitions
mb
automata
3
Sections
GenAutomata
Doc
At:
ioa
eff
wf
t:ioa{i:l}(). t.eff
Collection(eff())
By:
YRecModulePiTac 6 `ioa` [`ioa_ds`;`ioa_da`;`ioa_init`;`ioa_pre`;`ioa_eff`;`ioa_frame`]
Generated subgoals:
None
About:
PrintForm
Definitions
mb
automata
3
Sections
GenAutomata
Doc