-- }}}


-- Folding-type operations {{{

entrytree_fold_loc :: Entry a => 
    (Loc -> b -> a -> b) -> b -> [EntryTree a] -> b
entrytree_fold_loc = entrytree_fold_loc_ (Loc [0])
entrytree_fold_loc :: Entry a => 
    (Loc -> b -> a -> b) -> b -> [EntryTree a] -> b
entrytree_fold_loc = entrytree_fold_loc_ (Loc [0])
entrytree_fold_loc = entrytree_fold_loc_ (Loc [0])