Nuprl Definition : m_ping_pong_Handler
m_ping_pong_Handler() == 
loc.m_ping_pong_SendPing() loc || m_ping_pong_ReplyToPong() loc
Definitions occuring in Statement :
m_ping_pong_SendPing: m_ping_pong_SendPing(),
m_ping_pong_ReplyToPong: m_ping_pong_ReplyToPong(),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
m_ping_pong_Handler
m\_ping\_pong\_Handler() == \mlambda{}loc.m\_ping\_pong\_SendPing() loc || m\_ping\_pong\_ReplyToPong() loc
Date html generated:
2012_02_20-PM-06_23_58
Last ObjectModification:
2012_02_02-PM-02_48_26
Home
Index