Nuprl Definition : msg-has-type

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



Definitions occuring in Statement :  msg-type: msg-type(msg;f) subtype_rel: A ⊆B
FDL editor aliases :  msg-has-type

Latex:
msg-has-type(m;f;T)  ==    msg-type(m;f)  \msubseteq{}r  T



Date html generated: 2016_05_17-AM-08_50_36
Last ObjectModification: 2013_02_14-AM-10_07_24

Theory : messages


Home Index