Donc
sqr = lambda x -> x * x; a = 2;
Sont des déclarations ?
Oui.
Les déclarations sont aussi des Lexp (Call("_=_", ... )), non ?
Non. Ce ne sont pas des appels à la fonction "_=_".
_=_ sera soit une fonction booléenne, soit un constructeur de type (où "a = b" est le type des preuves que "a" est égal à "b").
Stefan