From 454673ddcc2e5acc1d867ce420952790c012f14a Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Mon, 25 Oct 2010 13:10:15 -0600 Subject: [PATCH] Documented set-count Closes PR 11093 --- collects/scribblings/reference/sets.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribblings/reference/sets.scrbl b/collects/scribblings/reference/sets.scrbl index 282debdbe1..794b405d1f 100644 --- a/collects/scribblings/reference/sets.scrbl +++ b/collects/scribblings/reference/sets.scrbl @@ -54,6 +54,9 @@ to a later element takes precedence over the later element.} Returns @scheme[#t] if @scheme[set] has no members, @scheme[#f] otherwise.} +@defproc[(set-count [set set?]) exact-nonnegative-integer?]{ + +Returns the number of elements in @scheme[set].} @defproc[(set-member? [set set?] [v any/c]) boolean?]{