Nuprl Definition : pDVguards-preList

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

Latex:
pDVguards-preList(x) == F((x) where F(id) = \mcdot{} F(id,name) = \mcdot{} F(from,preList) = preList F(val,index) = \mcdot{} F(fire) = \mcdot{} F(continue) = \mcdot{} F(rndv1) = \mcdot{} F(rndv2,counter) = \mcdot{} Date html generated: 2016_05_17-AM-11_28_45 Last ObjectModification: 2012_08_30-PM-01_44_15 Theory : event-logic-applications Home Index