Function binn_ir::value::encode_u64

pub fn encode_u64(
    buf: &mut Write, 
    u: impl Into<u64>
) -> Result<u32>

Encodes a U64

Result: total bytes that have been written.