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