rosette-extras (racket): A few extra utilities for Rosette
Keywords: rosette