Is scribble/srcdoc’s proc-doc/names supposed to work when the “contract” forms are actually Typed Racket function types? Very quick glance at the source, seems like it might. But the docs don’t really advertise that. I know I could just try. But if it doesn’t work, maybe I made a mistake and need to try harder. OTOH if it does, maybe I can’t really rely on that. So figured I’d ask.

@greg: I don’t think it would work because it expands to contract-out

Ah, right. So I may try to do something analogous for TR — see how far I get, and is the result maybe worth submitting as a PR.