Note that if we switch the order like you propose, we don’t need to use dict.get:


  set D[k]=d if k not in D then return D[k]


I suspect the current doc was written the way it is because it matches the actual implementation.