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]);
}
}