Comment by cjonas

Just to clarify, you'd write the bottom code (declarative) and the library translates it to the above (imperative) code?