pub fn decode(bytes: &[u8]) -> Result<Val, Bad>
Which must be the whole of bytes. Carried as RcVal so a back-reference rebuilds the sharing rather than a copy: a frame naming the same pair a thousand times decodes to one pair.
bytes
RcVal