Nuprl Definition : mdata-class

mdata-class(f;hdr) ==  λes,e. get-mdata(f;info(e);hdr)


Definitions occuring in Statement :  get-mdata: get-mdata(f;msg;hdr),  es-info: info(e),  lambda: λx.A[x]
FDL editor aliases :  mdata-class
Latex:
mdata-class(f;hdr)  ==    \mlambda{}es,e.  get-mdata(f;info(e);hdr)


Date html generated: 2015_07_21-PM-04_49_14
Last ObjectModification: 2013_02_27-PM-01_36_20

Home Index