let nset_filter f set = nset_fold (fun set n ->
    if f n then
      nset_add set n
    else
      set) nset_empty set