<div dir="ltr">I'm essentially looking for a dump of the typed AST of a given typed racket program for use in an undergraduate research project. Is there an easy way to get this information?</div>