Nuprl Definition : kind-loc
kind-loc(k;i) == islocal(k) ∨bdestination(lnk(k)) = i
Definitions occuring in Statement :
ldst: destination(l),
lnk: lnk(k),
islocal: islocal(k),
eq_id: a = b,
bor: p ∨bq
FDL editor aliases :
kind-loc
kind-loc(k;i) == islocal(k) \mvee{}\msubb{}destination(lnk(k)) = i
Date html generated:
2015_07_17-AM-09_14_13
Last ObjectModification:
2012_02_25-AM-10_53_49
Home
Index