Nuprl Definition : pDVguards-from

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



Definitions occuring in Statement :  PiDataVal_ind: PiDataVal_ind it:
FDL editor aliases :  pDVguards-from

Latex:
pDVguards-from(x)  ==
    F((x)  where   
    F(id)  =  \mcdot{}   
    F(id,name)  =  \mcdot{}   
    F(from,preList)  =  from   
    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_32
Last ObjectModification: 2012_08_30-PM-01_44_09

Home Index