fact: Definition updateMany {K V} {kRealDec:RelDec (@eq K)} (ups:list (K * V)) (init:list (K * V)) : list (K * V) := fold_right (uncurry update) init ups.
imports: List String ExtLib.Structures.Monads ExtLib.Core.RelDec