type 'a t
=
{
header_prefix : string;
mutable data_len : Nat0.t;
bin_writer : 'a Bin_prot.Type_class.writer;
}