semantics/pre-defined.rkt
#|

File: semantics/pre-defined.rkt
Author: Bill Turtle (wrturtle)

Provides the pre-defined variables for pyret

|#
(module pre-defined racket/base
  (require syntax/docprovide)
  (require (only-in racket/list empty))
  (define True #t)
  (define False #f)

  (provide-and-document pre-defined-variables
    ("Pre-Defined Variables"
     (empty is_empty "The empty list")
     (True is_boolean "The True value")
     (False is_boolean "The False value")))
)