Vote[a;i;v]
==
inr
<
a,
i,
v
>
Definitions
:
inr:
inr
x
,
pair:
<
a,
b
>
FDL editor aliases
:
cs-rcv-vote
Vote[a;i;v] == inr <a, i, v>
Date html generated: 2010_08_27-AM-12_56_22
Last ObjectModification: 2009_12_23-PM-03_31_37
Home
Index