`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`