Nuprl Definition : ohc_v2

Nuprl Definition : ohc_v2_SendProposals

ohc_v2_SendProposals(Cmd;locs) ==

ni,cmd.send-once-loc-class(

loc.(ohc_v2_proposal'broadcast(Cmd) locs <<ni, cmd>, loc>))

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

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

ohc\_v2\_SendProposals(Cmd;locs) == \mlambda{}ni,cmd.send-once-loc-class(\mlambda{}loc.(ohc\_v2\_proposal'broadcast(Cmd) locs <<ni, cmd>, loc>)) Date html generated: 2012_02_20-PM-05_48_06 Last ObjectModification: 2012_02_17-PM-10_23_10 Home Index