functor (Iterable_spec : Make_iterable_binable_spec) ->
  sig
    val bin_size_t : Iterable_spec.t Size.sizer
    val bin_write_t : Iterable_spec.t Write.writer
    val bin_read_t : Iterable_spec.t Read.reader
    val __bin_read_t__ : (int -> Iterable_spec.t) Read.reader
    val bin_writer_t : Iterable_spec.t Type_class.writer
    val bin_reader_t : Iterable_spec.t Type_class.reader
    val bin_t : Iterable_spec.t Type_class.t
  end