desugar mut variables

Stream: lean4

[kana]

is it possible to see, how lean desugar mutable lets?

[Sebastian Ullrich]

You can #print your definition afterwards. We may also have a paper on that topic soon, haha...