Nuprl Definition : pDVselex-rndv1

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


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


Date html generated: 2015_07_23-AM-11_36_00
Last ObjectModification: 2012_08_30-PM-01_45_01

Home Index