Nuprl Definition : msg-mdata

msg-mdata(f;msg) == let hdr,val = msg-msg(msg) in <f hdr, val>

Definitions occuring in Statement : msg-msg: msg-msg(m), apply: f a, spread: spread def, pair: <a, b>
FDL editor aliases : msg-mdata

Latex:
msg-mdata(f;msg) == let hdr,val = msg-msg(msg) in <f hdr, val> Date html generated: 2015_07_21-PM-04_48_18 Last ObjectModification: 2014_07_25-PM-02_04_46 Home Index