Nuprl Definition : pDVmsg-index

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

Definitions occuring in Statement : PiDataVal_ind: PiDataVal_ind, it: ⋅
FDL editor aliases : pDVmsg-index

Latex:
pDVmsg-index(x) == F((x) where F(id) = \mcdot{} F(id,name) = \mcdot{} F(from,preList) = \mcdot{} F(val,index) = index F(fire) = \mcdot{} F(continue) = \mcdot{} F(rndv1) = \mcdot{} F(rndv2,counter) = \mcdot{} Date html generated: 2015_07_23-AM-11_35_44 Last ObjectModification: 2012_08_30-PM-01_44_35 Home Index