Nuprl Definition : m_ping_pong_SendPing
m_ping_pong_SendPing() == 
loc.send-once-loc-class(l.{m_ping_pong_ping() loc l})
Definitions occuring in Statement :
m_ping_pong_ping: m_ping_pong_ping(),
send-once-loc-class: send-once-loc-class(b),
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
m_ping_pong_SendPing
m\_ping\_pong\_SendPing() == \mlambda{}loc.send-once-loc-class(\mlambda{}l.\{m\_ping\_pong\_ping() loc l\})
Date html generated:
2012_02_20-PM-06_23_40
Last ObjectModification:
2012_02_02-PM-02_48_17
Home
Index