Importing a public Racket provide export from a different file. (require somelibrary) (require "somefile.rkt")