WhoCites Definitions MarkB generic Sections NuprlLIB Doc

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

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

About:
membersubtypeall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc