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