|(require (planet cce/scheme:6:1/contract))|
This module provides useful contracts and contract constructors.
This contract recognizes natural numbers that satisfy exact-nonnegative-integer?.
This contract recognizes positive integers that satisfy exact-positive-integer?.
This contract recognizes Scheme truth values, i.e., any value, but with a more informative name and description. Use it in negative positions for arguments that accept arbitrary truth values that may not be booleans.
These contracts recognize functions that accept 0, 1, or 2 arguments, respectively, and produce a single result.
These contracts recognize predicates: functions of a single argument that produce a boolean result.
These contracts recognize comparisons: functions of two arguments that produce a boolean result.