non-det (racket): Racket non-determinism
Keywords: logic