public override void encode(OtpOutputStream buf) { int arity = elems.Length; buf.write_tuple_head(arity); for (int i = 0; i < arity; i++) { buf.write_any(elems[i]); } }