functor (B1 : Binable.S) (B2 : Binable.S->
  sig
    val bin_size_t : Make(B1)(B2).t Bin_prot.Size.sizer
    val bin_write_t : Make(B1)(B2).t Bin_prot.Write.writer
    val bin_read_t : Make(B1)(B2).t Bin_prot.Read.reader
    val __bin_read_t__ : (int -> Make(B1)(B2).t) Bin_prot.Read.reader
    val bin_writer_t : Make(B1)(B2).t Bin_prot.Type_class.writer
    val bin_reader_t : Make(B1)(B2).t Bin_prot.Type_class.reader
    val bin_t : Make(B1)(B2).t Bin_prot.Type_class.t
  end