Nuprl Definition : mu_ex_v4_HandleUseCS
mu_ex_v4_HandleUseCS(cs;initial_token;proc1;proc2) ==
l.let F = l,client,z.
let interested,token,toreply = z in
if interested then {mu_ex_v4_send_busy() client 
}
if token then {mu_ex_v4_send_enter_cs() cs l}
else {mu_ex_v4_send_request() (mu_ex_v4_otherProc(proc1;proc2) l) }
fi in
F@Loc|Loc,mu_ex_v4_UseCS(), mu_ex_v4_PrState(initial_token)|
Definitions occuring in Statement :
mu_ex_v4_PrState: mu_ex_v4_PrState(initial_token),
mu_ex_v4_otherProc: mu_ex_v4_otherProc(proc1;proc2),
mu_ex_v4_send_busy: mu_ex_v4_send_busy(),
mu_ex_v4_UseCS: mu_ex_v4_UseCS(),
mu_ex_v4_send_enter_cs: mu_ex_v4_send_enter_cs(),
mu_ex_v4_send_request: mu_ex_v4_send_request(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
ifthenelse: if b then t else f fi ,
let: let,
it: ,
spreadn: spread3,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
mu_ex_v4_HandleUseCS
mu\_ex\_v4\_HandleUseCS(cs;initial$_{token}$;proc1;proc2) ==
\mlambda{}l.let F = \mlambda{}l,client,z.
let interested,token,toreply = z in
if interested then \{mu\_ex\_v4\_send\_busy() client \mcdot{}\}
if token then \{mu\_ex\_v4\_send\_enter\_cs() cs l\}
else \{mu\_ex\_v4\_send\_request() (mu\_ex\_v4\_otherProc(proc1;proc2) l) \mcdot{}\}
fi in
F@Loc|Loc,mu\_ex\_v4\_UseCS(), mu\_ex\_v4\_PrState(initial$_{token}$)|
Date html generated:
2012_02_20-PM-06_32_07
Last ObjectModification:
2012_02_02-PM-02_53_35
Home
Index