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