fact: Definition pmap_right (m : pmap) : pmap := match m with | Empty => Empty | Branch _ _ r => r end.
imports: ExtLib.Structures.Maps ExtLib.Structures.Functor ExtLib.Data.Option ExtLib.Data.Positive ExtLib.Tactics.Cases