2 Contract
| (require data/ralist/contract) | package: ralist |
procedure
(count=/c n) → flat-contract?
n : natural-number/c
Returns a flat contract that requires the input to have a count
equal to n.
procedure
(count>/c n) → flat-contract?
n : natural-number/c
Returns a flat contract that requires the input to have a count
greater than n.
procedure
(is-true/c x) → flat-contract?
x : any/c
Returns a flat contract that requires nothing of its input,
and returns x, i.e. it produces a contract for
the predicate (lambda (_) x).