What is the meaning of Patio?

A paved yard or floor where ores are cleaned and sorted, or where ore, salt, mercury, etc., are trampled by horses, to effect intermixture and amalgamation.

Source: Webster’s Revised Unabridged Dictionary (1913), via OPTED