مُعَدِّنٌ

One who extracts the masses of stone from a mine, seeking to find in them gold and the like, (K, TA,) after having then broken them in pieces. (TA.)