Dv
f[x_, y_] := x + y?Size: a a a
Dv
f[x_, y_] := x + y?IJ
IJ
Dv
IJ
IJ

c
Dv
Dv
IJ
Dv
g
f в любыми аргументами будет заменено на то, что после :=.g
Print.g
IJ
Dv
f в любыми аргументами будет заменено на то, что после :=.a как-то объясняется местной семантикой?IJ

g
Dv
IJ