It's the standard Racket `#%app` AFAIK.