Nuprl Definition : rsc5_message-constraint

rsc5_message-constraint{i:l}(Cmd;clients;cmdeq;coeff;flrs;locs) ==

eo.message-constraint{i:l}(eo;rsc5_main(Cmd;clients;cmdeq;coeff;flrs;locs);rsc5_headers_no_inputs())

Definitions occuring in Statement : message-constraint: message-constraint{i:l}(es;X;hdrs), lambda:

x.A[x]
FDL editor aliases : rsc5_message-constraint

rsc5\_message-constraint\{i:l\}(Cmd;clients;cmdeq;coeff;flrs;locs) == \mlambda{}eo.message-constraint\{i:l\}(eo;rsc5\_main(Cmd;clients;cmdeq;coeff;flrs;locs);...) Date html generated: 2012_02_20-PM-05_10_51 Last ObjectModification: 2012_02_02-PM-02_20_26 Home Index