Nuprl Definition : top
⌜Top⌝ is the type that contains all terms⋅
Top == ⋂x:Void. Void
Definitions occuring in Statement :
isect: ⋂x:A. B[x],
void: Void
Definitions occuring in definition :
isect: ⋂x:A. B[x],
void: Void
Rules referencing :
callbyvalueSpread,
callbyvalueDecide,
decideExceptionCases,
spreadExceptionCases
FDL editor aliases :
top
Latex:
Top == \mcap{}x:Void. Void
Date html generated:
2019_06_20-AM-11_13_31
Last ObjectModification:
2018_09_17-PM-05_25_43
Theory : core_2
Home
Index