1-Bin_spec.Binableval bin_size_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Size.sizer3val bin_write_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Write.writer3val bin_read_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Read.reader3val __bin_read_t__ : ('a, 'b, 'c, int -> ('a, 'b, 'c) t) Read.reader3