Nuprl Definition : pDVguards?

pDVguards?(x) ==
  F((x) where  
  F(id) ff  
  F(id,name) ff  
  F(from,preList) tt  
  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 :  pDVguards?

Latex:
pDVguards?(x)  ==
    F((x)  where   
    F(id)  =  ff   
    F(id,name)  =  ff   
    F(from,preList)  =  tt   
    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_29
Last ObjectModification: 2012_08_30-PM-01_44_02

Home Index