Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_message-constraint

new_23_sig_message-constraint{i:l}(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
msg-interface-constraint{i:l}(new_23_sig_main();new_23_sig_headers_internal();f)

Definitions occuring in Statement : new_23_sig_headers_internal: new_23_sig_headers_internal(), new_23_sig_main: new_23_sig_main(), msg-interface-constraint: msg-interface-constraint{i:l}(X;hdrs;f)
FDL editor aliases : new_23_sig_message-constraint

Latex:
new\_23\_sig\_message-constraint\{i:l\}(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) == msg-interface-constraint\{i:l\}(new\_23\_sig\_main();new\_23\_sig\_headers\_internal();f) Date html generated: 2015_07_23-PM-03_52_52 Last ObjectModification: 2013_11_23-PM-09_57_04 Home Index