Nuprl Definition : m_ping_pong_ReplyToPing
m_ping_pong_ReplyToPing() == 
loc,l.{m_ping_pong_pong() l loc}@|Loc, m_ping_pong_Ping()|
Definitions occuring in Statement :
m_ping_pong_pong: m_ping_pong_pong(),
m_ping_pong_Ping: m_ping_pong_Ping(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
m_ping_pong_ReplyToPing
m\_ping\_pong\_ReplyToPing() == \mlambda{}loc,l.\{m\_ping\_pong\_pong() l loc\}@|Loc, m\_ping\_pong\_Ping()|
Date html generated:
2012_02_20-PM-06_25_09
Last ObjectModification:
2012_02_02-PM-02_49_04
Home
Index