msg-rename(rtinv;m) == <fst(m), outl(rtinv (fst(snd(m)))), snd(snd(m))>
Definitions :
pair: <a, b>,
outl: outl(x),
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
msg-rename
msg-rename(rtinv;m) == <fst(m), outl(rtinv (fst(snd(m)))), snd(snd(m))>
Date html generated:
2010_08_26-PM-11_33_42
Last ObjectModification:
2008_02_27-PM-09_23_43
Home
Index