Nuprl Definition : ma-msgtype
Msgtype(da;k) ==  da(k)?Void
Definitions occuring in Statement : 
fpf-cap: f(x)?z
, 
Kind-deq: KindDeq
, 
void: Void
FDL editor aliases : 
ma-msgtype
Latex:
Msgtype(da;k)  ==    da(k)?Void
Date html generated:
2016_05_16-AM-11_37_58
Last ObjectModification:
2012_02_25-AM-11_14_48
Theory : event-ordering
Home
Index