Nuprl Definition : mem_test_message-constraint
mem_test_message-constraint{i:l}(A;G) ==
eo.message-constraint{i:l}(eo;mem_test_main(A;G);mem_test_headers_no_inputs())
Definitions occuring in Statement :
mem_test_headers_no_inputs: mem_test_headers_no_inputs(),
mem_test_main: mem_test_main(A;G),
message-constraint: message-constraint{i:l}(es;X;hdrs),
lambda: x.A[x]
FDL editor aliases :
mem_test_message-constraint
mem\_test\_message-constraint\{i:l\}(A;G) ==
\mlambda{}eo.message-constraint\{i:l\}(eo;mem\_test\_main(A;G);mem\_test\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-05_14_51
Last ObjectModification:
2012_02_17-PM-06_26_51
Home
Index