Nuprl Definition : RSC_Decision
RSC_Decision(Cmd;clients) == 
n,zm,z.let m,c = z in if IntDeq m n then RSC_notifyMSGS(Cmd) clients <m, c> else {} fi
Definitions occuring in Statement :
RSC_notifyMSGS: RSC_notifyMSGS(Cmd),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
int-deq: IntDeq,
empty-bag: {}
FDL editor aliases :
RSC_Decision
RSC\_Decision(Cmd;clients) ==
\mlambda{}n,zm,z.let m,c = z in if IntDeq m n then RSC\_notifyMSGS(Cmd) clients <m, c> else \{\} fi
Date html generated:
2012_02_20-PM-03_59_38
Last ObjectModification:
2012_02_02-PM-01_58_36
Home
Index