Nuprl Definition : deliver-msg

deliver-msg(t;m;x;Cs;L) ==
  accumulate (with value S and list item C):
   deliver-msg-to-comp(t;m;x;S;C)
  over list:
    Cs
  with starting value:
   <[], L>)

Definitions occuring in Statement : deliver-msg-to-comp: deliver-msg-to-comp(t;m;x;S;C), list_accum: list_accum, nil: [], pair: <a, b>
FDL editor aliases : deliver-msg

Latex:
deliver-msg(t;m;x;Cs;L) == accumulate (with value S and list item C): deliver-msg-to-comp(t;m;x;S;C) over list: Cs with starting value: <[], L>) Date html generated: 2015_07_23-AM-11_08_36 Last ObjectModification: 2012_02_25-PM-03_39_27 Home Index