[2234] dīstīnctor, ōris, m. (distinguo), der Unterscheider, Amm. 18, 1, 2 u. 28, 4, 1. Augustin. in Ioann. 20, 12.