Nuprl Definition : equal-info-body

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: 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