Hi all, I'm puzzled by this cryptic notation in Typed Racket (copied from the docs):
(λ:<http://docs.racket-lang.org/ts-reference/special-forms.html#(form._((lib._typed-racket/base-env/prims..rkt)._~ce~bb~3a))> ([x : Number<http://docs.racket-lang.org/ts-reference/type-ref.html#(form._((lib._typed-racket/base-env/base-types..rkt)._.Number))> ]) x) - : (Number -> Number : ((! False @ 0) | (False @ 0)) (0)) What does the "@ 0" mean? I have searched all of the TR doc pages, but I see no explanation. Thanks, jmj
____________________ Racket Users list: http://lists.racket-lang.org/users