Nuprl Definition : norep2_Handler
norep2_Handler(client;store1;store2) ==
n.send-once-loc-class(i.(norep2_handle'broadcast() store1.store2.{} n))
|| norep2_accept(client)@Loc|Loc,norep2_OkFor() n, Prior(norep2_OkFor() n)|
Definitions occuring in Statement :
norep2_accept: norep2_accept(client),
norep2_OkFor: norep2_OkFor(),
norep2_handle'broadcast: norep2_handle'broadcast(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
primed-class: Prior(X),
send-once-loc-class: send-once-loc-class(b),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x],
cons-bag: x.b,
empty-bag: {}
FDL editor aliases :
norep2_Handler
norep2\_Handler(client;store1;store2) ==
\mlambda{}n.send-once-loc-class(\mlambda{}i.(norep2\_handle'broadcast() store1.store2.\{\} n))
|| norep2\_accept(client)@Loc|Loc,norep2\_OkFor() n, Prior(norep2\_OkFor() n)|
Date html generated:
2012_02_20-PM-03_37_21
Last ObjectModification:
2012_02_02-PM-01_57_02
Home
Index