Nuprl Definition : CLK_msg'send
CLK_msg'send(MsgType;f) == λl,z. mk-msg-interface(l;make-Msg(``CLK msg``;z))
Definitions occuring in Statement :
mk-msg-interface: mk-msg-interface(l;m),
make-Msg: make-Msg(hdr;val),
cons: [a / b],
nil: [],
lambda: λx.A[x],
token: "$token"
FDL editor aliases :
CLK_msg'send
Latex:
CLK\_msg'send(MsgType;f) == \mlambda{}l,z. mk-msg-interface(l;make-Msg(``CLK msg``;z))
Date html generated:
2015_07_23-PM-04_09_44
Last ObjectModification:
2013_11_23-PM-09_22_16
Home
Index