Void’ing-knife, n.

(-nĭf), n. A knife used for gathering up fragments of food to put them into a voider.