What is a…
The word “type” is generally used to denote a resemblance between something present and something future, which is called the “antitype.”
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.