(define closure
  (lambda (ids body env)
    (lambda (args)
        (eval-expression body (extend-env ids args env)))))





What is the code for closure in the procedural representation?