Nuprl Definition : ohc_v1_notify'broadcast

ohc_v1_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 : ohc_v1_notify'broadcast ohc_v1_notify'broadcast

ohc\_v1\_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-05_20_32 Last ObjectModification: 2012_02_13-PM-12_54_46 Home Index