Any place where ore, metals, or precious stones are got by digging or washing the soil; as, a placer mine.