Nuprl Definition : m_ping_pong

Nuprl Definition : m_ping_pong_headers

m_ping_pong_headers() == [[out]; [alive]; [pong]; [ping]; [start]]

Definitions occuring in Statement : cons: [car / cdr], nil: [], token: "$token"
FDL editor aliases : m_ping_pong_headers

m\_ping\_pong\_headers() == [[out]; [alive]; [pong]; [ping]; [start]] Date html generated: 2012_02_20-PM-06_25_50 Last ObjectModification: 2012_02_02-PM-02_49_26 Home Index