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
Msgtype(da;k) == da(k)?Void
Date html generated:
2015_07_17-AM-11_17_08
Last ObjectModification:
2012_02_25-AM-11_14_48
Home
Index