From 8a9b9c006f6e878562ea3263aa557451ddf94d97 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Mon, 17 Nov 2014 23:04:46 -0500
Subject: [PATCH] Adding documentation

---
 .../data-doc/data/scribblings/data.scrbl       |  1 +
 pkgs/data-pkgs/data-lib/data/enumerate.rkt     | 18 +++++++++++-------
 2 files changed, 12 insertions(+), 7 deletions(-)

diff --git a/pkgs/data-pkgs/data-doc/data/scribblings/data.scrbl b/pkgs/data-pkgs/data-doc/data/scribblings/data.scrbl
index 67f2bbfa4f..5817980154 100644
--- a/pkgs/data-pkgs/data-doc/data/scribblings/data.scrbl
+++ b/pkgs/data-pkgs/data-doc/data/scribblings/data.scrbl
@@ -25,3 +25,4 @@ This manual documents data structure libraries available in the
 @include-section["integer-set.scrbl"]
 @include-section["bit-vector.scrbl"]
 @include-section["union-find.scrbl"]
+@include-section["enumerate.scrbl"]
diff --git a/pkgs/data-pkgs/data-lib/data/enumerate.rkt b/pkgs/data-pkgs/data-lib/data/enumerate.rkt
index 1f042d066e..03e93a60ce 100644
--- a/pkgs/data-pkgs/data-lib/data/enumerate.rkt
+++ b/pkgs/data-pkgs/data-lib/data/enumerate.rkt
@@ -23,6 +23,12 @@
 
 (provide 
  (contract-out
+  [nat?
+   (-> any/c 
+       boolean?)]
+  [extended-nat?
+   (-> any/c 
+       boolean?)]
   [enum 
    (-> extended-nat? (-> nat? any/c) (-> any/c nat?)
        enum?)]
@@ -72,11 +78,8 @@
   [const/e
    (-> any/c
        enum?)]
-  [from-list/e
-   (-> list?
-       enum?)]
   [fin/e
-   (-> list?
+   (->* () #:rest list?
        enum?)]
   [nat/e enum?]
   [int/e enum?]
@@ -84,7 +87,8 @@
    (->* () #:rest (listof (cons/c enum? (-> any/c boolean?)))
         enum?)]
   [disj-append/e
-   (->* (enum?) #:rest (listof (cons/c enum? (-> any/c boolean?)))
+   (->* ((cons/c enum? (-> any/c boolean?)))
+        #:rest (listof (cons/c enum? (-> any/c boolean?)))
         enum?)]
   [fin-cons/e
    (-> enum? enum?
@@ -236,8 +240,8 @@
           es/e)]))
 
 ;; filter/e : enum a, (a -> bool) -> enum a
-;; size won't be accurate!
-;; encode is not accurate right now!
+;; xxx size won't be accurate!
+;; xxx encode is not accurate right now!
 (define (filter/e e p)
   (enum (size e)
         (λ (n)