From fd40ab2e52bec96c85c7f8c0fbc3a0fa62ea853d Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Thu, 16 May 2019 15:52:15 -0400 Subject: [PATCH] more set operations --- racket/typed/set.rkt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/racket/typed/set.rkt b/racket/typed/set.rkt index a911c1a..8ea633f 100644 --- a/racket/typed/set.rkt +++ b/racket/typed/set.rkt @@ -11,10 +11,14 @@ set-subtract set-intersect list->set - set->list) + set->list + (typed-out [[set-first- : (∀ (X) (→fn (Set X) X))] + set-first] + [[set-empty?- : (∀ (X) (→fn (Set X) Bool))] + set-empty?])) (require "core-types.rkt") -(require (only-in "prim.rkt" Int)) +(require (only-in "prim.rkt" Int Bool)) (require (only-in "list.rkt" ~List)) (require (postfix-in - racket/set))