---

msg-has-type(m;T) ==  msg-type(m) == T

---

Definitions occuring in Statement :  eq_term: a == b
Definitions :  eq_term: a == b,  msg-type: Error :msg-type
FDL editor aliases :  msg-has-type

---

msg-has-type(m;T)  ==    msg-type(m)  ==  T


Date html generated: 2011_08_17-PM-03_57_47
Last ObjectModification: 2011_05_02-PM-04_11_15

Home Index