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