Nuprl Definition : rsc4_Notify
rsc4_Notify(Cmd;clients) == 
n.once-class(rsc4_decision(Cmd;clients) n@|Loc, rsc4_decided'base(Cmd)|)
Definitions occuring in Statement :
rsc4_decision: rsc4_decision(Cmd;clients),
rsc4_decided'base: rsc4_decided'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
once-class: once-class(X),
apply: f a,
lambda: x.A[x]
FDL editor aliases :
rsc4_Notify
rsc4\_Notify(Cmd;clients) ==
\mlambda{}n.once-class(rsc4\_decision(Cmd;clients) n@|Loc, rsc4\_decided'base(Cmd)|)
Date html generated:
2012_02_20-PM-04_52_54
Last ObjectModification:
2012_02_02-PM-02_09_14
Home
Index