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:
2015_07_21-PM-04_48_50
Last ObjectModification:
2013_02_27-PM-02_33_50
Home
Index