#cs(module docs mzscheme
  (require (lib "docs.ss" "htdp"))
  (provide (all-from (lib "docs.ss" "htdp"))))