1#lang at-exp scheme 2 3(require scribble/manual scribble/core) 4(provide (all-defined-out)) 5 6(define (item* header . args) (apply item @bold[header]{: } args)) 7(define-syntax-rule (tmod forms ...) (racketmod typed-scheme forms ...)) 8(define (gtech . x) 9 (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl"))) 10(define (rtech . x) 11 (apply tech x #:doc '(lib "scribblings/reference/reference.scrbl"))) 12 13(define (tr-guide-secref tag) 14 (secref tag #:doc '(lib "typed-racket/scribblings/ts-guide.scrbl"))) 15(define (tr-reference-secref tag) 16 (secref tag #:doc '(lib "typed-racket/scribblings/ts-reference.scrbl"))) 17(define (r-guide-secref tag) 18 (secref tag #:doc '(lib "scribblings/guide/guide.scrbl"))) 19(define (r-reference-secref tag) 20 (secref tag #:doc '(lib "scribblings/reference/reference.scrbl"))) 21 22(define ** (let ([* #f]) @racket[*])) 23 24(define-syntax-rule (annvar x t) 25 (make-element #f (list @racketparenfont["#{"] 26 @racket[x : t] 27 @racketparenfont["}"]))) 28 29(define-syntax-rule (annexpr x t) 30 (make-element #f (list @racketparenfont["#{"] 31 @racket[x :: t] 32 @racketparenfont["}"]))) 33 34(define-syntax-rule (defalias id1 id2) 35 @defidform[id1]{An alias for @racket[id2].}) 36