Nuprl Definition : get-mdata
get-mdata(f;msg;hdr) == if name_eq(msg-header(msg);hdr) then {msg-mdata(f;msg)} else {} fi
Definitions occuring in Statement :
msg-mdata: msg-mdata(f;msg)
,
msg-header: msg-header(m)
,
name_eq: name_eq(x;y)
,
ifthenelse: if b then t else f fi
,
single-bag: {x}
,
empty-bag: {}
FDL editor aliases :
get-mdata
Latex:
get-mdata(f;msg;hdr) == if name\_eq(msg-header(msg);hdr) then \{msg-mdata(f;msg)\} else \{\} fi
Date html generated:
2015_07_21-PM-04_49_11
Last ObjectModification:
2013_02_27-PM-01_34_07
Home
Index