Nuprl Definition : msg
msg(l;t;v) == <l, t, v>
Definitions occuring in Statement
:
pair:
<a, b>
FDL editor aliases
:
msg
msg(l;t;v) == <l, t, v>
Date html generated: 2015_07_17-AM-09_10_58
Last ObjectModification: 2012_02_25-AM-10_52_31
Home
Index