Who Cites subtype?
subtype	Def S T == x:S. x T

Syntax:

S T

has structure:

subtype(S; T)

About: