Albert Barnes Commentary Exodus 17:13

"And Joshua discomfited Amalek and his people with the edge of the sword." — Exodus 17:13 (ASV)

With the edge of the sword - This expression always denotes a great slaughter of the enemy.