fact: Fixpoint fold_alist (acc : T) (map : alist) : T := match map with | nil => acc | (k,v) :: m => let acc := f k v acc in fold_alist acc m end.
imports: Coq.Classes.RelationClasses Coq.Lists.List ExtLib.Core.RelDec ExtLib.Tactics.Consider ExtLib.Structures.Maps ExtLib.Structures.Monad ExtLib.Structures.Reducible ExtLib.Structures.Functor Coq(Basics) ExtLib(Extras OptionMonad)