Nuprl Definition : CLK_msg'base-program

CLK_msg'base-program(MsgType;f) ==  base-class-program(``CLK msg``)



Definitions occuring in Statement :  base-class-program: base-class-program(hdr) cons: [a b] nil: [] token: "$token"
FDL editor aliases :  CLK_msg'base-program

Latex:
CLK\_msg'base-program(MsgType;f)  ==    base-class-program(``CLK  msg``)



Date html generated: 2016_05_17-PM-02_44_12
Last ObjectModification: 2013_11_23-PM-09_22_14

Theory : lamport!s!clocks


Home Index