Nuprl Definition : verify-class-program

verify-class-program(hdr) ==  λi.hdf-base(v.cond-verify-msg-body(hdr;v))


Definitions occuring in Statement :  cond-verify-msg-body: cond-verify-msg-body(hdr;msg),  hdf-base: hdf-base(m.F[m]),  lambda: λx.A[x]
FDL editor aliases :  verify-class-program
Latex:
verify-class-program(hdr)  ==    \mlambda{}i.hdf-base(v.cond-verify-msg-body(hdr;v))


Date html generated: 2016_05_17-AM-09_08_03
Last ObjectModification: 2014_07_25-PM-02_40_41

Theory : local!classes


Home Index