Title
«*»
7.0

Title

Hello world.

«*» ::=
(begin
  ; Wrapped with (begin …) to avoid the implicit require for-label.
  (require typed/rackunit))
 
;; Would give an error as typed/racket/base is used on the #lang line:
;curry
 
(check-equal? ((make-predicate One) 1) #t)
 
(define (f [x : 'e123]) x)
 
(define ee (ann (f 'e123) 'e123))
(provide ee)