Definitions
GenAutomata
Sections
NuprlLIB
Doc
No mentions to report in GenAutomata
module1_type
Def module1_type(prop) == tag:{i:
| prop(i) }
Unit+(module1_type(
i.i = tag-1)
) (recursive)
About:
Definitions
GenAutomata
Sections
NuprlLIB
Doc
| prop(i) }
Unit+(module1_type(
i.i = tag-1)) (recursive)| prop(i) }Unit+(module1_type(i.i = tag-1)) (recursive)
