Nuprl Definition : m_ping_pong_Pong

m_ping_pong_Pong() ==  Base([pong];Id)



Definitions occuring in Statement :  base-headers-msg-val: Base(hdr;typ) Id: Id cons: [car / cdr] nil: [] token: "$token"
FDL editor aliases :  m_ping_pong_Pong

m\_ping\_pong\_Pong()  ==    Base([pong];Id)


Date html generated: 2012_02_20-PM-06_22_17
Last ObjectModification: 2012_02_02-PM-02_47_21

Home Index