signature (racket): Syntax and utilities for writing function contracts as signatures
Keywords: contracts