Function encode 

pub fn encode<W: Write>(value: &Value, enc: &HoleEncoding, out: &mut W)

Encode one value per a hole’s encoding, into any text sink.