How to derive formally a certain sample program from the jsonnet reference manual?

[Evan Aad]

How can the following program, listed in the jsonnet reference manual, be derived from the formal specifications?

local a = local x = 'a'; x;

local foo = local x = 'b'; a;

foo

I don't see any formation rule that allows concatenating expressions.