pub fn length_ok<const P: usize>(k: b32, len: b32) -> bool
Whether a body length is exact for its kind: data up to P, echoes and signatures exactly their size.
P