Nuprl Definition : norep2_message-constraint
norep2_message-constraint{i:l}(client;ldr;store1;store2) ==
eo.message-constraint{i:l}(eo;norep2_main(client;ldr;store1;store2);norep2_headers_no_inputs())
Definitions occuring in Statement :
norep2_headers_no_inputs: norep2_headers_no_inputs(),
norep2_main: norep2_main(client;ldr;store1;store2),
message-constraint: message-constraint{i:l}(es;X;hdrs),
lambda: x.A[x]
FDL editor aliases :
norep2_message-constraint
norep2\_message-constraint\{i:l\}(client;ldr;store1;store2) ==
\mlambda{}eo.message-constraint\{i:l\}(eo;norep2\_main(client;ldr;store1;store2);norep2\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-03_37_59
Last ObjectModification:
2012_02_02-PM-01_57_39
Home
Index