 |
| |||
| subsumption rule (если выражение e принадлежит к типу t' в контексте типизации Г, и выполняется t'<:t, то e принадлежит также и к типу t Alex_Odeychuk) | |||
|
| |||
| subsumption rule (если выражение e принадлежит к типу t' в контексте типизации Г, и выполняется t'<:t, то e принадлежит также и к типу t Alex_Odeychuk) | |||