No other cites to report in MarkB_generic
suptype	Def S T == T S
subtype	Def S T == x:S. x T

Syntax:

S T

has structure:

suptype(S; T)

About: