Nuprl Definition : msg-has-type

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

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

Latex:
msg-has-type(m;f;T) == msg-type(m;f) \msubseteq{}r T Date html generated: 2015_07_21-PM-04_48_23 Last ObjectModification: 2013_02_14-AM-10_07_24 Home Index