Nuprl Definition : pDVloc_tag-id

pDVloc_tag-id(x) ==
  F((x) where  
  F(id) = ⋅  
  F(id,name) = id  
  F(from,preList) = ⋅  
  F(val,index) = ⋅  
  F(fire) = ⋅  
  F(continue) = ⋅  
  F(rndv1) = ⋅  
  F(rndv2,counter) = ⋅


Definitions occuring in Statement :  PiDataVal_ind: PiDataVal_ind,  it: ⋅
FDL editor aliases :  pDVloc_tag-id
Latex:
pDVloc\_tag-id(x)  ==
    F((x)  where   
    F(id)  =  \mcdot{}   
    F(id,name)  =  id   
    F(from,preList)  =  \mcdot{}   
    F(val,index)  =  \mcdot{}   
    F(fire)  =  \mcdot{}   
    F(continue)  =  \mcdot{}   
    F(rndv1)  =  \mcdot{}   
    F(rndv2,counter)  =  \mcdot{}


Date html generated: 2015_07_23-AM-11_35_23
Last ObjectModification: 2012_08_30-PM-01_43_49

Home Index