distinctor в энциклопедиях
distīnctor, ōris m.
проводящий различие, различающий(justorum injustorumque Amm)