Nuprl Definition : rsc4_notify'broadcast

rsc4_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 : rsc4_notify'broadcast

rsc4\_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_46_45 Last ObjectModification: 2012_02_02-PM-02_07_56 Home Index