destination(l)
==
fst(snd(l))
Definitions
:
pi1:
fst(t)
,
pi2:
snd(t)
FDL editor aliases
:
ldst
destination(l) == fst(snd(l))
Date html generated: 2010_08_26-PM-11_33_48
Last ObjectModification: 2008_02_27-PM-09_23_48
Home
Index