A type is an Old Testament institution, person, place or event regarded as anticipating the person of Jesus Christ or some aspect of the Christian faith or life. For Heb 4:8-11 See also Jos 1:13; JJos 11:23; Jos 14:15.
Hebrews 4:8 - 11
ESV - 8 For if Joshua had given them rest, God would not have spoken of another day later on. 9 So then, there remains a Sabbath rest for the people of God.
For follow-up discussion and general commentary on the topic. Comments are sorted chronologically.