Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
module1Def module1(tag, data) == < tag,data >

Syntax:module1(tag, data) has structure: module1(tag; data)

About:
pair!abstraction

Definitions GenAutomata Sections NuprlLIB Doc