redex-lib (racket): implementation (no documentation) part of "redex"
Keywords: main-distribution|racket