Nuprl Definition : bm_unionWith_ins
bm_unionWith_ins(compare;f;key;x;m) ==
case bm_find(compare;m;key) of inl(x') => bm_insert(compare;m;key;f x x') | inr(y) => bm_insert(compare;m;key;x)
Definitions occuring in Statement :
bm_find: bm_find(compare;m;x),
bm_insert: bm_insert(compare;m;x;v),
apply: f a,
decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases :
bm_unionWith_ins
bm\_unionWith\_ins(compare;f;key;x;m) ==
case bm\_find(compare;m;key)
of inl(x') =>
bm\_insert(compare;m;key;f x x')
| inr(y) =>
bm\_insert(compare;m;key;x)
Date html generated:
2015_07_17-AM-08_20_56
Last ObjectModification:
2013_01_04-AM-01_52_39
Home
Index