Nuprl Definition : msg-rename
msg-rename(rtinv;m) == <fst(m), outl(rtinv (fst(snd(m)))), snd(snd(m))>
Definitions occuring in Statement :
outl: outl(x),
pi1: fst(t),
pi2: snd(t),
apply: f a,
pair: <a, b>
FDL editor aliases :
msg-rename
msg-rename(rtinv;m) == <fst(m), outl(rtinv (fst(snd(m)))), snd(snd(m))>
Date html generated:
2015_07_17-AM-09_12_01
Last ObjectModification:
2012_02_25-AM-10_52_54
Home
Index