#lang scribble/doc
@(require scribble/manual
          (planet cce/scheme:4:1/planet)
          (only-in (for-label scheme) for sequence?)
          (for-label scheme/contract)
          (for-label (this-package-in contract)))

@title[#:tag "contract"]{Contract}

@defmodule/this-package[contract]

Just like @schememodname/this-package[main], but with contracts.