(procval->expressed (closure ids body env))

What is the code for the proc-exp case in the interpreter?