Nuprl Definition : pDVloc

Nuprl Definition : pDVloc_tag?

pDVloc_tag?(x) ==
  F((x) where
  F(id) = ff
  F(id,name) = tt
  F(from,preList) = ff
  F(val,index) = ff
  F(fire) = ff
  F(continue) = ff
  F(rndv1) = ff
  F(rndv2,counter) = ff

Definitions occuring in Statement : PiDataVal_ind: PiDataVal_ind, bfalse: ff, btrue: tt
FDL editor aliases : pDVloc_tag?

Latex:
pDVloc\_tag?(x) == F((x) where F(id) = ff F(id,name) = tt F(from,preList) = ff F(val,index) = ff F(fire) = ff F(continue) = ff F(rndv1) = ff F(rndv2,counter) = ff Date html generated: 2015_07_23-AM-11_35_20 Last ObjectModification: 2012_08_30-PM-01_43_43 Home Index