Это нотация описывает тип Si, который является подтипом некоторого типа F, с параметрами F1 до Fn, которые принимают значения T1 до Tn.
Правильное чтение данной нотации: "Si является подтипом F с параметрами F1 равным T1, Fn равным Tn".
Это нотация описывает тип Si, который является подтипом некоторого типа F, с параметрами F1 до Fn, которые принимают значения T1 до Tn.
Правильное чтение данной нотации: "Si является подтипом F с параметрами F1 равным T1, Fn равным Tn".