temp-c-doc (racket): temporal contracts
Keywords: contracts