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