Nuprl Definition : m_ping_pong_headers_no

Nuprl Definition : m_ping_pong_headers_no_inputs

m_ping_pong_headers_no_inputs() == [[out]; [alive]; [pong]; [ping]]

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

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