deliver-msg(t;m;x;Cs;L) ==
list_accum(S,C.deliver-msg-to-comp(t;m;x;S;C);<[], L>;Cs)
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
deliver-msg-to-comp: deliver-msg-to-comp(t;m;x;S;C),
pair: <a, b>,
nil: []
FDL editor aliases :
deliver-msg
deliver-msg(t;m;x;Cs;L) == list\_accum(S,C.deliver-msg-to-comp(t;m;x;S;C);<[], L>Cs)
Date html generated:
2010_08_27-PM-03_51_43
Last ObjectModification:
2010_04_20-PM-06_07_52
Home
Index