Review edits for branch/2020-08-31/walk #34 - #194

Draft

rptb1 wants to merge 1 commit into

branch/2023-03-09/walk-review-edits

Commits on Mar 9, 2023

Clarifying purpose of local variables in response to review <https://github.com/Ravenbrook/mps/pull/34/files#r1123294923>.
rptb1
committed
07defbe