Nuprl Definition : ohc_v1

Nuprl Definition : ohc_v1_SendProposals

ohc_v1_SendProposals(Cmd;locs) ==

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

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

Definitions occuring in Statement : ohc_v1_proposal'broadcast: ohc_v1_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_v1_SendProposals

ohc\_v1\_SendProposals(Cmd;locs) == \mlambda{}ni,cmd.send-once-loc-class(\mlambda{}loc.(ohc\_v1\_proposal'broadcast(Cmd) locs <<ni, cmd>, loc>)) Date html generated: 2012_02_20-PM-05_23_36 Last ObjectModification: 2012_02_13-PM-12_56_49 Home Index