#lang racket/base

(require "private/core.rkt")
(provide 
 enum?
 enum-count
 from-nat
 to-nat
 enum-contract
 in-enum
 map/e
 pam/e
 except/e
 enum->list
 below/e
 empty/e
 natural/e
 or/e
 append/e
 fin-cons/e
 dep/e
 thunk/e
 list/e
 cantor-list/e
 box-list/e
 prime-length-box-list/e
 bounded-list/e
 box-tuples/e
 below/e
 
 two-way-enum?
 one-way-enum? 
 flat-enum?
 finite-enum?
 infinite-enum?)
#lang racket/base

(require "private/core.rkt")
(provide 
 enum?
 enum-count
 from-nat
 to-nat
 enum-contract
 in-enum
 map/e
 pam/e
 except/e
 enum->list
 below/e
 empty/e
 natural/e
 or/e
 append/e
 fin-cons/e
 dep/e
 thunk/e
 list/e
 cantor-list/e
 box-list/e
 prime-length-box-list/e
 bounded-list/e
 box-tuples/e
 below/e
 
 two-way-enum?
 one-way-enum? 
 flat-enum?
 finite-enum?
 infinite-enum?)