Function varisat::clause::db::filter_clauses

pub fn filter_clauses<F>(
    ctx: Mut<WatchlistsP, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>>, 
    filter: F
) where
    F: FnMut(&mut ClauseAlloc, ClauseRef) -> bool, 

Iterate over all and remove some long clauses.

Takes a closure that returns true for each clause that should be kept and false for each that should be deleted.