Nuprl Definition : verify-class

Verify(hdr) ==  λes,e. cond-verify-msg-body(hdr;info(e))


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


Date html generated: 2016_05_17-AM-08_54_06
Last ObjectModification: 2014_07_25-PM-02_34_19

Theory : messages


Home Index