Nuprl Definition : pDVrequest-rndv2

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


Definitions occuring in Statement :  PiDataVal_ind: PiDataVal_ind,  it: ⋅
FDL editor aliases :  pDVrequest-rndv2
Latex:
pDVrequest-rndv2(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)  =  \mcdot{}   
    F(rndv2,counter)  =  rndv2


Date html generated: 2015_07_23-AM-11_36_07
Last ObjectModification: 2012_08_30-PM-01_45_13

Home Index