Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
suptypeDef S T == T S
subtype Def S T == x:S. x T

Syntax:S T has structure: suptype(S; T)

About:
membersubtypeall!abstraction

Definitions GenAutomata Sections NuprlLIB Doc