Nuprl Definition : LocKnd
LocKnd == {ik:Id × Knd| let i,k = ik in ↑hasloc(k;i)}
Definitions occuring in Statement :
hasloc: hasloc(k;i),
Knd: Knd,
Id: Id,
assert: ↑b,
set: {x:A| B[x]} ,
spread: spread def,
product: x:A × B[x]
FDL editor aliases :
LocKnd
LocKnd == \{ik:Id \mtimes{} Knd| let i,k = ik in \muparrow{}hasloc(k;i)\}
Date html generated:
2015_07_17-AM-09_14_16
Last ObjectModification:
2012_02_25-AM-10_53_50
Home
Index