1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#lang typed/racket/base
(require typed/racket/unsafe
typed/racket/draw
typed/racket/class
"evil-types.rkt")
(provide Pict pict? dc
new-post-script-dc%
new-pdf-dc%
new-svg-dc%)
(unsafe-require/typed "untyped-utils.rkt"
[dc
(-> (-> (Instance DC<%>) Real Real Any) Real Real Pict)]
[new-post-script-dc%
(-> Positive-Integer Positive-Integer (U Path-String Output-Port) (Instance DC<%>))]
[new-pdf-dc%
(-> Positive-Integer Positive-Integer (U Path-String Output-Port) (Instance DC<%>))]
[new-svg-dc%
(-> Positive-Integer Positive-Integer (U Path-String Output-Port) (Instance DC<%>))]
)
|
