Nuprl Definition : vr_test_message-constraint
vr_test_message-constraint{i:l}(m1;m2) ==
eo.message-constraint{i:l}(eo;vr_test_main(m1;m2);vr_test_headers_no_inputs())
Definitions occuring in Statement :
vr_test_headers_no_inputs: vr_test_headers_no_inputs(),
vr_test_main: vr_test_main(m1;m2),
message-constraint: message-constraint{i:l}(es;X;hdrs),
lambda: x.A[x]
FDL editor aliases :
vr_test_message-constraint
vr\_test\_message-constraint\{i:l\}(m1;m2) ==
\mlambda{}eo.message-constraint\{i:l\}(eo;vr\_test\_main(m1;m2);vr\_test\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-07_47_52
Last ObjectModification:
2012_02_03-PM-08_18_44
Home
Index