lang/check.rkt
#lang racket

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