Nuprl Definition : equal-info-body

v = body(e) ==  has-es-info-type(es;e;f;T) ∧ (v = msgval(e) ∈ T)


Definitions occuring in Statement :  es-info-body: msgval(e),  has-es-info-type: has-es-info-type(es;e;f;T),  and: P ∧ Q,  equal: s = t ∈ T
FDL editor aliases :  equal-info-body
Latex:
v  =  body(e)  ==    has-es-info-type(es;e;f;T)  \mwedge{}  (v  =  msgval(e))


Date html generated: 2016_05_17-AM-08_51_30
Last ObjectModification: 2013_02_27-PM-02_33_50

Theory : messages


Home Index