redex-parameter (racket):  Parameters for extensions in Redex.
Keywords: redex