Definitions
GenAutomata
Sections
NuprlLIB
Doc
No mentions to report in GenAutomata
suptype
Def S
T == T
S
subtype
Def
S
T ==
x:S. x
T
Syntax:
S
T
has structure:
suptype(S; T)
About:
Definitions
GenAutomata
Sections
NuprlLIB
Doc