#lang racket

#|

File: teachpack/batch-io.rkt
Author: Bill Turtle (wrturtle)

Provide a wrapper to the batch-io.ss teachpack used by htdp.

|#

(require (prefix-in bio: "batch-io.rkt"))
(require "../semantics/first-order.rkt")

(make-first-order-and-provide [read_file bio:read_file read_file]
                              [read_lines bio:read_lines read_lines]
                              [read_words bio:read_words read_words]
                              [read_words_line bio:read_words_line read_words_line]
                              [write_file bio:write_file write_file])