•Bytes contracts

Bytes contracts

Eduardo Bellani <[email protected]>

Just a small collection of contracts to use for bytes data structures.

(bytes-len</c max-length) → contract?
  max-length : natural-number/c
Recognizes bytes that have fewer than max-length elements.
(bytes-len=/c len) → contract?
  len : natural-number/c
Recognizes bytes that have exactly len elements.