Nuprl Definition : pDVcontinue?
pDVcontinue?(x) ==
F((x) where
F(id) = ff
F(id,name) = ff
F(from,preList) = ff
F(val,index) = ff
F(fire) = ff
F(continue) = tt
F(rndv1) = ff
F(rndv2,counter) = ff
Definitions occuring in Statement :
PiDataVal_ind: PiDataVal_ind,
bfalse: ff
,
btrue: tt
FDL editor aliases :
pDVcontinue?
Latex:
pDVcontinue?(x) ==
F((x) where
F(id) = ff
F(id,name) = ff
F(from,preList) = ff
F(val,index) = ff
F(fire) = ff
F(continue) = tt
F(rndv1) = ff
F(rndv2,counter) = ff
Date html generated:
2015_07_23-AM-11_35_52
Last ObjectModification:
2012_08_30-PM-01_44_49
Home
Index