The notation E : t can be read as expression E has type t.
הסימון E : t ניתן להיקרא כ"לביטוי E יש טיפוס t".