Hebrews 7:1
1For this Melchizedek, king of Salem, priest of God Most High, who met Abraham returning from the slaughter of the kings and blessed him,
"For this Melchizedek…" Wesley's sum of the chapter: Christ, as appears from his type Melchisedec—greater than Abraham himself, from whom Levi descended—has a priesthood altogether excellent, new, firm, perpetual. The verse opens the type: king of Salem, priest of God Most High, who, who met Abraham and blessed him.
Shared with the Reformed: Melchizedek is not a camp war over historicity. Both hear a historical priest-king who blesses Abraham and thus stands over the patriarchal line. Arminian interpreters receive the blessing as superiority of order: the type points to the Son's excellent, perpetual priesthood. Hear the verse; do not turn Genesis 14 into speculation about angels or Shem. The blessing is priestly; the Son fulfills what the type sketches.
Calvin: it was no common thing that in a land full of superstition a man preserved pure worship and himself performed the priest's office. It was necessary that in him who was to be a type of the Son of God all things excellent should be found. David did not say without reason, "Thou art a priest forever after the order of Melchisedec."
Melchizedek met Abraham and blessed him—historical type. Reformed reading keeps Scripture's silence and Scripture's witness: the type shadows Christ. The blessing is God's vicegerent work through a priest greater than the patriarch. Raise thoughts to the Son whose order this is.