fact: Definition pmap_here (m : pmap) : option T := match m with | Empty => None | Branch d _ _ => d end.
imports: ExtLib.Structures.Maps ExtLib.Structures.Functor ExtLib.Data.Option ExtLib.Data.Positive ExtLib.Tactics.Cases