Nuprl Definition : pv8_p1

Nuprl Definition : pv8_p1_ScoutNotify

pv8_p1_ScoutNotify(accpts) ==

b.send-once-loc-class(

ldr.(pv8_p1_p1a'broadcast() accpts <ldr, b>))

Definitions occuring in Statement : pv8_p1_p1a'broadcast: pv8_p1_p1a'broadcast(), send-once-loc-class: send-once-loc-class(b), apply: f a, lambda:

x.A[x], pair: <a, b>
FDL editor aliases : pv8_p1_ScoutNotify pv8_p1_ScoutNotify

pv8\_p1\_ScoutNotify(accpts) == \mlambda{}b.send-once-loc-class(\mlambda{}ldr.(pv8\_p1\_p1a'broadcast() accpts <ldr, b>)) Date html generated: 2012_02_20-PM-07_28_16 Last ObjectModification: 2012_02_06-PM-01_46_08 Home Index