(module timestamp mzscheme (require "require.ss") (require-contracts) (define timestamp/c natural-number/c) (provide/contract [timestamp/c flat-contract?]))