Oℕ
inline def ставишь не : Type, а <: Type, тогда инлайн может раскрыться в выражение с более точным типомSize: a a a
Oℕ
inline def ставишь не : Type, а <: Type, тогда инлайн может раскрыться в выражение с более точным типомЮБ
AM
DK
AS
AM
D
AS
AT
λ
NM
D
D
NM
AM
AM
D
EB
EB
P