www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | Submodules | README | LICENSE

set.rkt (240B)

      1 #lang typed/racket
      2 (require "typed-untyped.rkt")
      3 (define-typed/untyped-modules #:no-test
      4   (provide set-map→set)
      5   (: set-map→set (∀ (e b) (→ (Setof e) (→ e b) (Setof b))))
      6   (define (set-map→set s f) (list->set (set-map s f))))