rcv(l,tg)
==
inl
<
l,
tg
>
Definitions
:
inl:
inl
x
,
pair:
<
a,
b
>
FDL editor aliases
:
rcv
rcv(l,tg) == inl <l, tg>
Date html generated: 2010_08_26-PM-11_32_50
Last ObjectModification: 2008_02_27-PM-09_22_50
Home
Index