Nuprl Definition : bm

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

Latex:
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: 2016_05_17-PM-01_43_51 Last ObjectModification: 2013_01_04-AM-01_59_17 Theory : binary-map Home Index