set.fintype_empty source