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:
2015_07_23-PM-04_09_43
Last ObjectModification:
2013_11_23-PM-09_22_14
Home
Index