21987
#hash(((form ((lib "typed-racket/base-env/base-types.rkt") Log-Level)) . ((2649 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Exact-Rational)) . ((1382 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Any)) . ((0 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Regexp)) . ((1941 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Float)) . ((553 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") HashTable)) . ((3096 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/hasheq:)) . ((6131 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") require-typed-struct)) . ((10266 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/hasheqv:)) . ((6201 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Thread-Cellof)) . ((3297 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Fixnum)) . ((1633 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Parameter)) . ((10396 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*:)) . ((7024 . 3))) ((form ((lib "typed-racket/base-env/prims.rkt") for/product:)) . ((5925 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/hasheq:)) . ((5310 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Input-Port)) . ((1852 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Class)) . ((10914 . 2))) ((form ((lib "typed/scheme/base.rkt") require/typed)) . ((10439 . 12))) ((form ((lib "typed-racket/typed-racket.rkt") #%top-interaction)) . ((9255 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Flonum)) . ((479 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Sequenceof)) . ((3246 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") String)) . ((1785 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") PRegexp)) . ((1955 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Special-Comment)) . ((2376 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Boxof)) . ((3017 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Path)) . ((1901 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") require/typed/provide)) . ((9111 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Module-Path)) . ((2176 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Opaque)) . ((3850 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Place)) . ((2718 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Single-Flonum)) . ((861 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Exact-Rational)) . ((1348 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum-Negative-Zero)) . ((957 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Bytes)) . ((2009 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Real)) . ((1468 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Integer)) . ((418 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Flonum-Negative-Zero)) . ((676 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Logger)) . ((2615 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Byte)) . ((1565 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Single-Flonum)) . ((924 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") lambda:)) . ((4300 . 6))) ((form ((lib "typed-racket/base-env/prims.rkt") struct:)) . ((7616 . 11))) ((form ((lib "typed-racket/base-env/base-types.rkt") Vectorof)) . ((3035 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") popt-lambda:)) . ((4881 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") mu)) . ((10373 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Complex)) . ((40 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Syntaxof)) . ((3347 . 2))) ((form ((lib "typed-racket/typed-racket.rkt") with-type)) . ((9893 . 10))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") All)) . ((3667 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") UDP-Socket)) . ((2577 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") MPairof)) . ((2994 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") require/typed)) . ((8658 . 12))) ((form ((lib "typed-racket/base-env/prims.rkt") opt-lambda:)) . ((4638 . 6))) ((form ((lib "typed-racket/base-env/prims.rkt") for/or:)) . ((5655 . 2))) ((form ((lib "typed/racket/base.rkt") values)) . ((10425 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Procedure)) . ((3578 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-predicate)) . ((8451 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Inexact-Real)) . ((1078 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/hash:)) . ((5243 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/list:)) . ((5176 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Setof)) . ((3121 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Subprocess)) . ((2700 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") ann)) . ((8552 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/fold:)) . ((7183 . 4))) ((form ((lib "typed-racket/base-env/prims.rkt") let/cc:)) . ((4232 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Rec)) . ((3755 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Inexact-Real)) . ((1139 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Void)) . ((1840 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Resolved-Module-Path)) . ((2220 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") with-asserts)) . ((9405 . 5))) ((form ((lib "typed-racket/base-env/base-types.rkt") Char)) . ((1828 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float-Zero)) . ((759 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Real-Negative-Zero)) . ((1200 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Real)) . ((160 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") EOF)) . ((2101 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Bytes-Converter)) . ((2474 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Fixnum)) . ((1647 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Pair)) . ((10413 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") letrec:)) . ((3961 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-typed-struct)) . ((10212 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") let*:)) . ((4007 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Pretty-Print-Style-Table)) . ((2344 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Option)) . ((3831 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") One)) . ((1554 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") case→)) . ((3805 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Tuple)) . ((10383 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") declare-refinement)) . ((10961 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Custodian-Boxof)) . ((3269 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Sexpof)) . ((3416 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") lambda)) . ((9182 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Values)) . ((3693 . 2))) ((def ((lib "typed-racket/base-env/extra-procs.rkt") assert)) . ((9290 . 6))) ((form ((lib "typed-racket/base-env/base-types.rkt") Exact-Rational)) . ((138 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Flonum)) . ((527 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Namespace-Anchor)) . ((2039 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Continuation-Mark-Set)) . ((2112 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Identifier)) . ((3368 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") provide:)) . ((8503 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Channelof)) . ((3139 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/first:)) . ((6551 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Real-Nan)) . ((1293 . 2))) ((def ((lib "typed-racket/base-env/prims.rkt") index?)) . ((9563 . 3))) ((form ((lib "typed-racket/base-env/base-types.rkt") Flonum-Zero)) . ((777 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/lists:)) . ((6826 . 4))) ((form ((lib "typed-racket/base-env/prims.rkt") do:)) . ((7312 . 7))) ((form ((lib "typed-racket/base-env/base-types.rkt") Read-Table)) . ((2456 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Vector)) . ((3056 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Keyword)) . ((1799 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") let-values:)) . ((4051 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Pseudo-Random-Generator)) . ((2790 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") True)) . ((1760 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Real)) . ((118 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") ->)) . ((3460 . 5))) ((form ((lib "typed-racket/base-env/prims.rkt") :)) . ((8486 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Exact-Nonnegative-Integer)) . ((346 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Log-Receiver)) . ((2629 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Promise)) . ((3205 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") plambda:)) . ((4494 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Single-Flonum)) . ((831 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") List)) . ((2881 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") with-handlers)) . ((9161 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Flonum)) . ((575 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") TCP-Listener)) . ((2595 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") FlVector)) . ((3080 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") require-typed-struct/provide)) . ((10294 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Exact-Positive-Integer)) . ((289 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for)) . ((7289 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Namespace)) . ((2022 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-type-alias)) . ((10187 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float-Nan)) . ((796 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-struct:)) . ((7921 . 11))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/last:)) . ((6620 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Parameterization)) . ((2497 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") let*-values:)) . ((4172 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Path-For-Some-System)) . ((1913 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Compiled-Expression)) . ((2282 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") :query-type/args)) . ((9822 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") :type)) . ((9780 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum-Complex)) . ((213 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Exact-Rational)) . ((1413 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/vector:)) . ((6272 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") pcase-lambda:)) . ((4583 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/and:)) . ((5589 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Prompt-Tag)) . ((2141 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Thread-Group)) . ((2680 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define:)) . ((7497 . 4))) ((form ((lib "typed-racket/base-env/prims.rkt") for/fold:)) . ((6919 . 4))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Single-Flonum)) . ((894 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Fixnum)) . ((1719 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Flonum)) . ((83 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Real-Zero)) . ((1537 . 2))) ((form ((lib "typed/racket/base.rkt") define-type)) . ((8361 . 3))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum-Zero)) . ((1027 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Real)) . ((1513 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/flvector:)) . ((6342 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Place-Channel)) . ((2731 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Zero)) . ((445 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Inexact-Real)) . ((1168 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Index)) . ((1611 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nothing)) . ((11 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") let/ec:)) . ((4266 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Flonum)) . ((623 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float-Positive-Zero)) . ((704 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") MListof)) . ((2974 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Integer)) . ((265 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-typed-struct/exec)) . ((11017 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") pdefine:)) . ((10330 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Integer)) . ((55 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") case->)) . ((3614 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Byte-PRegexp)) . ((1989 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Sexp)) . ((3435 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/sum:)) . ((5859 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/flvector:)) . ((5518 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Byte-Regexp)) . ((1970 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Struct-Type-Property)) . ((2399 . 2))) ((form ((lib "typed-racket/typed-racket.rkt") #%module-begin)) . ((9220 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") cast)) . ((8590 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Port)) . ((1889 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Module-Path-Index)) . ((2195 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Symbol)) . ((1814 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Listof)) . ((2862 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum-Nan)) . ((1053 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/sum:)) . ((6688 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/hash:)) . ((6063 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/and:)) . ((6414 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Impersonator-Property)) . ((2427 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Index)) . ((1598 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonpositive-Float)) . ((598 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Parameterof)) . ((3161 . 3))) ((form ((lib "typed-racket/base-env/prims.rkt") require/opaque-type)) . ((10239 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/or:)) . ((6481 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") U)) . ((3595 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Refinement)) . ((10993 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") →)) . ((3794 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Flonum-Positive-Zero)) . ((731 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Un)) . ((10363 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float)) . ((70 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Byte)) . ((1577 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum)) . ((97 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") case-lambda:)) . ((4539 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") pred)) . ((10346 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Complex)) . ((242 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Syntax-E)) . ((3400 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Null)) . ((2089 . 2))) ((def ((lib "typed-racket/base-env/extra-procs.rkt") defined?)) . ((9509 . 3))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Real)) . ((1492 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") :query-type/result)) . ((9859 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inspector)) . ((2538 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*)) . ((7300 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Futureof)) . ((3225 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Thread)) . ((2666 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Instance)) . ((10940 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Real-Zero)) . ((1268 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/vector:)) . ((5449 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for:)) . ((4930 . 10))) ((form ((lib "typed-racket/base-env/base-types.rkt") Syntax)) . ((3386 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float-Negative-Zero)) . ((649 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Number)) . ((26 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Path-String)) . ((2821 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Internal-Definition-Context)) . ((2309 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define-struct/exec:)) . ((8235 . 5))) ((form ((lib "typed-racket/base-env/prims.rkt") let:)) . ((3869 . 3))) ((form ((lib "typed-racket/base-env/base-types.rkt") Semaphore)) . ((2752 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Undefined)) . ((2159 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") λ:)) . ((4464 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Compiled-Module-Expression)) . ((2248 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Flonum-Nan)) . ((813 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Inexact-Real-Positive-Zero)) . ((1234 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") :print-type)) . ((9798 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") ∀)) . ((3820 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Natural)) . ((379 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/hasheqv:)) . ((5379 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Boolean)) . ((1745 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Float)) . ((502 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Integer)) . ((319 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Custodian)) . ((2521 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Fixnum)) . ((1670 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") define)) . ((9206 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/lists:)) . ((7089 . 4))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/product:)) . ((6755 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Fixnum)) . ((1696 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") Struct)) . ((3774 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Datum)) . ((3447 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Output-Port)) . ((1870 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") typecheck-fail)) . ((9615 . 8))) ((form ((lib "typed-racket/base-env/prims.rkt") make-predicate)) . ((8424 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/first:)) . ((5724 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Float-Complex)) . ((192 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Float)) . ((457 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Variable-Reference)) . ((2063 . 2))) ((form ((lib "typed-racket/base-env/base-types-extra.rkt") List*)) . ((2944 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") inst)) . ((8610 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Pairof)) . ((2840 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Ephemeronof)) . ((3323 . 2))) ((form ((lib "typed/scheme/base.rkt") require-typed-struct)) . ((10886 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Exact-Rational)) . ((1317 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for/last:)) . ((5792 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Will-Executor)) . ((2769 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Security-Guard)) . ((2555 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") for*/list:)) . ((5995 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Nonnegative-Inexact-Real)) . ((1107 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") False)) . ((1772 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Single-Flonum-Positive-Zero)) . ((992 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Positive-Real)) . ((1447 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") letrec-values:)) . ((4110 . 2))) ((form ((lib "typed-racket/base-env/prims.rkt") λ)) . ((9196 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Negative-Integer)) . ((394 . 2))) ((form ((lib "typed-racket/base-env/base-types.rkt") Exact-Number)) . ((172 . 2))))
syntax
Any
syntax
Nothing
syntax
Number
syntax
Complex
syntax
Integer
syntax
Float
syntax
Flonum
syntax
Single-Flonum
syntax
Inexact-Real
syntax
Exact-Rational
syntax
Real
syntax
Exact-Number
syntax
Float-Complex
syntax
Single-Flonum-Complex
syntax
Inexact-Complex
syntax
Positive-Integer
syntax
Exact-Positive-Integer
syntax
Nonnegative-Integer
syntax
Exact-Nonnegative-Integer
syntax
Natural
syntax
Negative-Integer
syntax
Nonpositive-Integer
syntax
Zero
syntax
Positive-Float
syntax
Positive-Flonum
syntax
Nonnegative-Float
syntax
Nonnegative-Flonum
syntax
Negative-Float
syntax
Negative-Flonum
syntax
Nonpositive-Float
syntax
Nonpositive-Flonum
syntax
Float-Negative-Zero
syntax
Flonum-Negative-Zero
syntax
Float-Positive-Zero
syntax
Flonum-Positive-Zero
syntax
Float-Zero
syntax
Flonum-Zero
syntax
Float-Nan
syntax
Flonum-Nan
syntax
Positive-Single-Flonum
syntax
Nonnegative-Single-Flonum
syntax
Negative-Single-Flonum
syntax
Nonpositive-Single-Flonum
syntax
Single-Flonum-Negative-Zero
syntax
Single-Flonum-Positive-Zero
syntax
Single-Flonum-Zero
syntax
Single-Flonum-Nan
syntax
Positive-Inexact-Real
syntax
Nonnegative-Inexact-Real
syntax
Negative-Inexact-Real
syntax
Nonpositive-Inexact-Real
syntax
Inexact-Real-Negative-Zero
syntax
Inexact-Real-Positive-Zero
syntax
Inexact-Real-Zero
syntax
Inexact-Real-Nan
syntax
Positive-Exact-Rational
syntax
Nonnegative-Exact-Rational
syntax
Negative-Exact-Rational
syntax
Nonpositive-Exact-Rational
syntax
Positive-Real
syntax
Nonnegative-Real
syntax
Negative-Real
syntax
Nonpositive-Real
syntax
Real-Zero
syntax
One
syntax
Byte
syntax
Positive-Byte
syntax
Index
syntax
Positive-Index
syntax
Fixnum
syntax
Positive-Fixnum
syntax
Nonnegative-Fixnum
syntax
Negative-Fixnum
syntax
Nonpositive-Fixnum
syntax
Boolean
syntax
True
syntax
False
syntax
String
syntax
Keyword
syntax
Symbol
syntax
Char
syntax
Void
syntax
Input-Port
syntax
Output-Port
syntax
Port
syntax
Path
syntax
Path-For-Some-System
syntax
Regexp
syntax
PRegexp
syntax
Byte-Regexp
syntax
Byte-PRegexp
syntax
Bytes
syntax
Namespace
syntax
Namespace-Anchor
syntax
Variable-Reference
syntax
Null
syntax
EOF
syntax
Continuation-Mark-Set
syntax
Prompt-Tag
syntax
Undefined
syntax
Module-Path
syntax
Module-Path-Index
syntax
Resolved-Module-Path
syntax
Compiled-Module-Expression
syntax
Compiled-Expression
syntax
Internal-Definition-Context
syntax
Pretty-Print-Style-Table
syntax
Special-Comment
syntax
Struct-Type-Property
syntax
Impersonator-Property
syntax
Read-Table
syntax
Bytes-Converter
syntax
Parameterization
syntax
Custodian
syntax
Inspector
syntax
Security-Guard
syntax
UDP-Socket
syntax
TCP-Listener
syntax
Logger
syntax
Log-Receiver
syntax
Log-Level
syntax
Thread
syntax
Thread-Group
syntax
Subprocess
syntax
Place
syntax
Place-Channel
syntax
Semaphore
syntax
Will-Executor
syntax
Pseudo-Random-Generator
syntax
Path-String
syntax
(Pairof s t)
syntax
(Listof t)
syntax
(List t ...)
syntax
(List t ... trest ... bound)
syntax
(List* t t1 ... s)
syntax
(MListof t)
syntax
(MPairof t u)
syntax
(Boxof t)
syntax
(Vectorof t)
syntax
(Vector t ...)
syntax
FlVector
syntax
(HashTable k v)
syntax
(Setof t)
syntax
(Channelof t)
syntax
(Parameterof t)
(Parameterof s t)
syntax
(Promise t)
syntax
(Futureof t)
syntax
(Sequenceof t)
syntax
(Custodian-Boxof t)
syntax
(Thread-Cellof t)
syntax
(Ephemeronof t)
syntax
(Syntaxof t)
syntax
Identifier
syntax
Syntax
syntax
Syntax-E
syntax
(Sexpof t)
syntax
Sexp
syntax
Datum
syntax
(dom ... -> rng)
(dom ... rest * -> rng)
(dom ... rest ... bound -> rng)
(dom -> rng : pred)
syntax
Procedure
syntax
(U t ...)
syntax
(case-> fun-ty ...)
syntax
(t t1 t2 ...)
syntax
(All (v ...) t)
syntax
(Values t ...)
syntax
v
syntax
(quote val)
syntax
i
syntax
(Rec n t)
syntax
(Struct st)
syntax
→
syntax
case→
syntax
∀
syntax
(Option t)
syntax
(Opaque t)
syntax
(let: ([v : t e] ...) . body)
(let: loop : t0 ([v : t e] ...) . body)
syntax
(letrec: ([v : t e] ...) . body)
syntax
(let*: ([v : t e] ...) . body)
syntax
(let-values: ([([v : t] ...) e] ...) . body)
syntax
(letrec-values: ([([v : t] ...) e] ...) . body)
syntax
(let*-values: ([([v : t] ...) e] ...) . body)
syntax
(let/cc: v : t . body)
syntax
(let/ec: v : t . body)
syntax
(lambda: formals . body)
 
formals = ([v : t] ...)
        | ([v : t] ...    v : t *)
        | ([v : t] ...    v : t ...)
syntax
(λ: formals . body)
syntax
(plambda: (a ...) formals . body)
syntax
(case-lambda: [formals body] ...)
syntax
(pcase-lambda: (a ...) [formals body] ...)
syntax
(opt-lambda: formals . body)
 
formals = ([v : t] ... [v : t default] ...)
        | ([v : t] ... [v : t default] ...    v : t *)
        | ([v : t] ... [v : t default] ...    v : t ...)
syntax
(popt-lambda: (a ...) formals . body)
syntax
(for: type-ann-maybe (for:-clause ...)
  expr ...+)
 
type-ann-maybe = 
               | : u
                  
for:-clause    = [id : t seq-expr]
               | [id seq-expr]
               | #:when guard
syntax
(for/list: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/hash: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/hasheq: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/hasheqv: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/vector: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/flvector: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/and: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/or:   type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/first: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/last: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/sum: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/product: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/list: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/hash: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/hasheq: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/hasheqv: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/vector: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/flvector: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/and: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/or:   type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/first: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/last: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/sum: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for*/product: type-ann-maybe (for:-clause ...) expr ...+)
syntax
(for/lists: type-ann-maybe ([id : t] ...)
  (for:-clause ...)
  expr ...+)
syntax
(for/fold:  type-ann-maybe ([id : t init-expr] ...)
  (for:-clause ...)
  expr ...+)
syntax
(for*: void-ann-maybe (for-clause ...)
  expr ...+)
syntax
(for*/lists: type-ann-maybe ([id : t] ...)
  (for:-clause ...)
  expr ...+)
syntax
(for*/fold:  type-ann-maybe ([id : t init-expr] ...)
  (for:-clause ...)
  expr ...+)
syntax
for
syntax
for*
syntax
(do: : u ([id : t init-expr step-expr-maybe] ...)
         (stop?-expr finish-expr ...)
  expr ...+)
 
step-expr-maybe = 
                | step-expr
syntax
(define: v : t e)
(define: (f . formals) : t . body)
(define: (a ...) (f . formals) : t . body)
syntax
(struct: maybe-type-vars name-spec ([f : t] ...) options ...)
 
maybe-type-vars = 
                | (v ...)
                   
name-spec       = name
                | name parent
                   
options         = #:transparent
                | #:mutable
syntax
(define-struct: maybe-type-vars name-spec ([f : t] ...) options ...)
 
maybe-type-vars = 
                | (v ...)
                   
name-spec       = name
                | (name parent)
                   
options         = #:transparent
                | #:mutable
syntax
(define-struct/exec: name-spec ([f : t] ...) [e : proc-t])
 
name-spec = name
          | (name parent)
syntax
(define-type name t)
(define-type (name v ...) t)
syntax
(make-predicate t)
syntax
(define-predicate name t)
syntax
(: v t)
syntax
(provide: [v t] ...)
syntax
#{v : t}
syntax
(ann e t)
syntax
#{e :: t}
syntax
(cast e t)
syntax
(inst e t ...)
syntax
#{e @ t ...}
syntax
(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
syntax
(require/typed/provide m rt-clause ...)
syntax
with-handlers
syntax
lambda
syntax
λ
syntax
define
syntax
(#%module-begin form ...)
syntax
(#%top-interaction . form)
procedure
(assert v) -> A
  v : (U #f A)
(assert v p?) -> B
  v : A
  p? : (A -> Any : B)
syntax
(with-asserts ([id maybe-pred] ...) body ...+)
 
maybe-pred = 
           | predicate
procedure
(defined? v) -> boolean?
  v : any/c
procedure
(index? v) -> boolean?
  v : any/c
syntax
(typecheck-fail orig-stx maybe-msg maybe-id)
 
maybe-msg = 
          | msg-string
             
maybe-id  = 
          | #:covered-id id
syntax
(:type t)
syntax
(:print-type e)
syntax
(:query-type/args f t ...)
syntax
(:query-type/result f t)
syntax
(with-type result-spec fv-clause body ...+)
(with-type export-spec fv-clause body ...+)
 
fv-clause   = 
            | #:freevars ([id fv-type] ...)
               
result-spec = #:result type
               
export-spec = ([export-id export-type] ...)
syntax
define-type-alias
syntax
define-typed-struct
syntax
require/opaque-type
syntax
require-typed-struct
syntax
require-typed-struct/provide
syntax
pdefine:
syntax
(pred t)
syntax
Un
syntax
mu
syntax
Tuple
syntax
Parameter
syntax
Pair
syntax
values
syntax
(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
syntax
require-typed-struct
syntax
(Class args ...)
syntax
(Instance c)
syntax
(declare-refinement id)
syntax
(Refinement id)
syntax
(define-typed-struct/exec forms ...)
