Function encode_branch

src/node.rs:661–684

(children: &[Option<Pointer>], out: &mut dyn BufMut)

#[inline]
pub fn encode_branch(children: &[Option<Pointer>], out: &mut dyn BufMut) -> usize {
    // first encode the header
    let mut payload_length = 1;
    for child in children.iter() {
        if let Some(child) = child {
            payload_length += child.rlp().len();
        } else {
            payload_length += 1;
        }
    }
    Header { list: true, payload_length }.encode(out);
    // now encode the children
    for child in children.iter() {
        if let Some(child) = child {
            out.put_slice(child.rlp());
        } else {
            out.put_u8(EMPTY_STRING_CODE);
        }
    }
    // and encode the empty 17th slot
    out.put_u8(EMPTY_STRING_CODE);

    payload_length + length_of_length(payload_length)
}

fn arb_children() -> impl Strategy<Value = [Option<Pointer>; 16]> {
    (proptest::collection::vec(arbitrary::any::<Pointer>(), 2..16), 1..15).prop_map(