12 May
2018
12 May
'18
10:47 p.m.
My main point here is that "with" works as well as "given" in this form from an English prose point of view.
+1 for "with...as", -1 for ":=" About affecting existing contexts, it seems that "with..as" would create a new context just for the expression, and the control statement it is embedded in, similar to what the current "with" statement does. These are semantics that are really easy to explain. Cheers!