Nuprl Definition : vatype
ValueAllType == {T:Type| valueall-type(T)}
Definitions occuring in Statement :
valueall-type: valueall-type(T),
set: {x:A| B[x]} ,
universe: Type
Definitions occuring in definition :
set: {x:A| B[x]} ,
universe: Type,
valueall-type: valueall-type(T)
FDL editor aliases :
vatype
Latex:
ValueAllType == \{T:Type| valueall-type(T)\}
Date html generated:
2016_05_13-PM-03_25_37
Last ObjectModification:
2015_09_22-PM-05_44_46
Theory : call!by!value_1
Home
Index