Nuprl Definition : pDVmsg-val

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

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

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