Module format 

Recursive generic-CBOR format specifications, proofs, and execution.

CborFmt uses FixWith for its pure recursive grammar and bounded executable parsing. Its DET parameter selects general or deterministic head and container encodings.

Structs

CborFmt

A complete generic CBOR data item with bounded nesting.

CborMapper

CborRecBody

Functions

cbor_body

cbor_fmt

cbor_value_valid

cbor_wire_valid

decode_cbor_wire

encode_cbor_value

normalized_only