Nuprl Definition : rsc2_notify'broadcast

rsc2_notify'broadcast(Cmd) ==

locs,z.bag-map(

l.<l, make-Msg([notify];

Cmd;z)>;locs)

Definitions occuring in Statement : make-Msg: make-Msg(hdr;typ;val), lambda:

x.A[x], pair: <a, b>, product: x:A

B[x], cons: [car / cdr], nil: [], int:

, token: "$token", bag-map: bag-map(f;bs)
FDL editor aliases : rsc2_notify'broadcast

rsc2\_notify'broadcast(Cmd) == \mlambda{}locs,z.bag-map(\mlambda{}l.<l, make-Msg([notify];\mBbbZ{} \mtimes{} Cmd;z)>locs) Date html generated: 2012_02_20-PM-04_41_30 Last ObjectModification: 2012_02_02-PM-02_05_22 Home Index