洞冶

1.指矿藏冶炼。