General and deterministic CBOR

TODO. This page is not written yet.

vest_lib::cbor is a verified prototype codec for the RFC 8949 generic data model, covering both general well-formed CBOR and the deterministic profile. This page will cover the value model, the borrowing and allocation behaviour, and which parts of the deterministic profile are enforced today.

Until then, the cbor module documentation describes the formats and their proof interfaces.