Nuprl Definition : CLK_message-constraint
CLK_message-constraint{i:l}(MsgType;locs;reply;f) ==
msg-interface-constraint{i:l}(CLK_main(MsgType;locs;reply;f);CLK_headers_internal();f)
Definitions occuring in Statement :
CLK_headers_internal: CLK_headers_internal(),
CLK_main: CLK_main(MsgType;locs;reply;f),
msg-interface-constraint: msg-interface-constraint{i:l}(X;hdrs;f)
FDL editor aliases :
CLK_message-constraint
Latex:
CLK\_message-constraint\{i:l\}(MsgType;locs;reply;f) ==
msg-interface-constraint\{i:l\}(CLK\_main(MsgType;locs;reply;f);CLK\_headers\_internal();f)
Date html generated:
2015_07_23-PM-04_10_12
Last ObjectModification:
2013_11_23-PM-09_22_46
Home
Index