user-param

This is the parameterization that the users code runs in. It is updated with set! each time the user clicks on the execute button, but the reset-console method.

It is #f before the first time the user click on the Execute button.

See parameters for more information about parameters.

• (ivar a-drscheme:rep:edit user-param) -> a parameterization or #f