typed.spec1.spec-to-type
register-spec-syntax->type-extension
macro
(register-spec-syntax->type-extension dval argv & body)
argv should take 2 arguments: the spec form, and options.
(register-spec-syntax->type-extension dval argv & body)
argv should take 2 arguments: the spec form, and options.