lang/check.ss
#lang scheme

(require "../private/planet.ss" (cce require-provide))
(require/provide "do-check.ss")