Function encode 

pub fn encode(value: &Value, ty: &Type, types: &TypeTable, writer: &mut Writer)

Encode a value that has already been checked against ty.