Nuprl Definition : ping_message-constraint

ping_message-constraint{i:l}(locs;p) ==  eo.message-constraint{i:l}(eo;ping_main(locs;p);ping_headers_no_inputs())


Definitions occuring in Statement :  ping_headers_no_inputs: ping_headers_no_inputs(),  ping_main: ping_main(locs;p),  message-constraint: message-constraint{i:l}(es;X;hdrs),  lambda: x.A[x]
FDL editor aliases :  ping_message-constraint
ping\_message-constraint\{i:l\}(locs;p)  ==
    \mlambda{}eo.message-constraint\{i:l\}(eo;ping\_main(locs;p);ping\_headers\_no\_inputs())


Date html generated: 2012_02_20-PM-06_21_02
Last ObjectModification: 2012_02_02-PM-02_46_35

Home Index