#lang scheme/base 

(require "private/teach.rkt"
         "private/teachprims.rkt"
         "private/teach-module-begin.rkt"
         mzlib/etc
         mzlib/list
         syntax/docprovide
         test-engine/racket-tests
         (for-syntax scheme/base))

(require "private/provide-and-scribble.rkt")

;; syntax:
(provide (rename-out 
          [intermediate-define define]
          [intermediate-define-struct define-struct]
          [intermediate-pre-lambda lambda]
          [intermediate-pre-lambda λ]
          [intermediate-app #%app]
          [beginner-top #%top]
          [intermediate-local local]
          [intermediate-let let]
          [intermediate-let* let*]
          [intermediate-letrec letrec]
          ;; [intermediate-recur recur]
          [beginner-cond cond]
          [beginner-else else]
          [beginner-if if]
          [beginner-and and]
          [beginner-or or]
          [beginner-require require]
          [beginner-dots ..]
          [beginner-dots ...]
          [beginner-dots ....]
          [beginner-dots .....]
          [beginner-dots ......]
          [intermediate-quote quote]
          [intermediate-quasiquote quasiquote]
          [intermediate-unquote unquote]
          [intermediate-unquote-splicing unquote-splicing]
          [intermediate-time time]
          [intermediate-module-begin #%module-begin]
          [beginner-true true]
          [beginner-false false]
          )
         check-expect
	 check-random
	 check-satisfied
         check-within
         check-error
         check-member-of
         check-range
         #%datum
         #%top-interaction
         empty 
         
         ;  signature : -> mixed one-of predicate combined
         ;  Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any
         ;  cons-of
         ;  Property 
         ;  check-property for-all ==> expect expect-within expect-member-of expect-range
         )


(provide-and-scribble 
 procedures
 (begin)
 (all-from intermediate: lang/private/intermediate-funs procedures))
