Instance EqDec_AMap_key : EqDec AMap.key.

Lemma AMap_Raw_map_app {A} (f : A -> A) l1 l2 :
AMap.Raw.map (option_map f) (app l1 l2) =
app (AMap.Raw.map (option_map f) l1)
(AMap.Raw.map (option_map f) l2).