Typed versions of the
language is equivalent to the
(require/typed m rt-clause ...)
rt-clause = [r t] |
[struct name ([f : t] ...) struct-option ...] |
[struct (name parent) ([f : t] ...) struct-option ...] | [opaque t pred] struct-option = #:constructor-name constructor-id | #:extra-constructor-name constructor-id
Similar to require/typed, but as if #:extra-constructor-name make-name was supplied.