title: Is `[<var> in <distributed variable>]` equivalent to `forall`?
body: <p>I noticed something in a snippet of code I was given:</p>
  
  <pre><code>var D: domain(2) dmapped Block(boundingBox=Space) = Space;
  var A: [D] int;
  [a in A] a = a.locale.id;
  </code></pre>
  
  <p>Is <code>[a in A]</code> equivalent to <code>forall a in A a = a.locale.id</code>?</p>