What is a…
type

The word “type” is generally used to denote a resemblance between something present and something future, which is called the “antitype.”

Nevertheless death reigned from Adam until Moses, even over those who had not sinned in the likeness of the offense of Adam, who is a type of Him who was to come. —Romans 5:14 NASB

The One who was to come is the Second Adam (Jesus Christ). “God provided a second Adam—a perfect Adam who could be the perfect sacrifice. God himself came to Earth as a man.”

Isaac and Jesus, the Christ

By faith Abraham, when he was tested, offered up Isaac, and he who had received the promises was offering up his only begotten son; it was he to whom it was said, “In Isaac your descendants shall be called.” He considered that God is able to raise people even from the dead, from which he also received him back as a type. —Hebrews 11:19 NASB

A type serves as an example

Now these things happened to them as an example, and they were written for our instruction… —1 Corinthians 10:11 NASB

The word “type” occurs in the King James Version marginal note for 1 Corinthians 10:11. The Greek word tupos is rendered “print” (John 20:25), “figure” (Acts 7:43; Romans 5:14), “fashion” (Acts 7:44), “manner” (Acts 23:25), “form” (Romans 6:17), “example” or “ensample” (1 Corinthians 10:6, 11; Philippians 3:17; 1 Thess. 1:7; 2 Thess. 3:9; 1 Timothy 4:12). It properly means a “model” or “pattern” or “mould” into which clay or wax was pressed, that it might take the figure or exact shape of the mould.

More information