Nuprl Definition : pv8_p1_update_proposals
pv8_p1_update_proposals(Cid;Op) ==
proposals1,proposals2.
list_accum(a,z.let s,p = z
in if (
z
proposals2.let s',z = z in eqof(IntDeq) s s')_b then a else [<s, p> / a] fi ;
proposals2;
proposals1)
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
cons: [car / cdr],
list_accum: list_accum(x,a.f[x; a];y;l),
int-deq: IntDeq,
eqof: eqof(d),
bl-exists: (xL.P[x])_b
FDL editor aliases :
pv8_p1_update_proposals
pv8_p1_update_proposals
pv8\_p1\_update\_proposals(Cid;Op) ==
\mlambda{}proposals1,proposals2.
list\_accum(a,z.let s,p = z
in if (\mexists{}z\mmember{}proposals2.let s',z = z
in eqof(IntDeq) s s')\_b
then a
else [<s, p> / a]
fi ;
proposals2;
proposals1)
Date html generated:
2012_02_20-PM-07_14_56
Last ObjectModification:
2012_02_06-PM-01_37_15
Home
Index