entrytree_get_tagged :: Entry a => [EntryTree a] -> [Loc]
entrytree_get_tagged et =
   entrytree_map f et
   where
       f e chloc loc =
           case entrytree_tagged e of
               True -> loc:chloc
               False -> chloc
   
-- }}}
entrytree_get_tagged :: Entry a => [EntryTree a] -> [Loc]
entrytree_get_tagged et =
   entrytree_map f et
   where
       f e chloc loc =
           case entrytree_tagged e of
               True -> loc:chloc
               False -> chloc
   
-- }}}
entrytree_get_tagged et =
   entrytree_map f et
   where
       f e chloc loc =
           case entrytree_tagged e of
               True -> loc:chloc
               False -> chloc
   
-- }}}