Nuprl Definition : m_ping_pong_message-constraint
m_ping_pong_message-constraint{i:l}(locs;p;threshold) ==
eo.message-constraint{i:l}(eo;m_ping_pong_main(locs;p;threshold);m_ping_pong_headers_no_inputs())
Definitions occuring in Statement :
m_ping_pong_headers_no_inputs: m_ping_pong_headers_no_inputs(),
m_ping_pong_main: m_ping_pong_main(locs;p;threshold),
message-constraint: message-constraint{i:l}(es;X;hdrs),
lambda: x.A[x]
FDL editor aliases :
m_ping_pong_message-constraint
m\_ping\_pong\_message-constraint\{i:l\}(locs;p;threshold) ==
\mlambda{}eo.message-constraint\{i:l\}(eo;m\_ping\_pong\_main(locs;p;threshold);m\_ping\_pong\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-06_26_23
Last ObjectModification:
2012_02_02-PM-02_49_45
Home
Index