Nuprl Definition : bm_unionWith
bm_unionWith(compare;f;m1;m2) ==
if bm_numItems(m2) <z bm_numItems(m1)
then bm_foldli(λk,v,a. bm_unionWith_ins(compare;f;k;v;a);m1;m2)
else bm_foldli(λk,v,a. bm_unionWith_ins(compare;λx1,x2. (f x2 x1);k;v;a);m2;m1)
fi
Definitions occuring in Statement :
bm_unionWith_ins: bm_unionWith_ins(compare;f;key;x;m),
bm_foldli: bm_foldli(f;init;m),
bm_numItems: bm_numItems(m),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
bm_unionWith
bm\_unionWith(compare;f;m1;m2) ==
if bm\_numItems(m2) <z bm\_numItems(m1)
then bm\_foldli(\mlambda{}k,v,a. bm\_unionWith\_ins(compare;f;k;v;a);m1;m2)
else bm\_foldli(\mlambda{}k,v,a. bm\_unionWith\_ins(compare;\mlambda{}x1,x2. (f x2 x1);k;v;a);m2;m1)
fi
Date html generated:
2015_07_17-AM-08_20_58
Last ObjectModification:
2013_01_04-AM-01_59_17
Home
Index