Utils.Make_iterable_binablemodule Iterable_spec : Make_iterable_binable_specinclude Binable.S_only_functions with type t := Iterable_spec.tval bin_size_t : Iterable_spec.t Size.sizerval bin_write_t : Iterable_spec.t Write.writerval bin_read_t : Iterable_spec.t Read.readerval __bin_read_t__ : (int -> Iterable_spec.t) Read.readerThis function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.
val bin_shape_t : Shape.tval bin_writer_t : Iterable_spec.t Type_class.writerval bin_reader_t : Iterable_spec.t Type_class.readerval bin_t : Iterable_spec.t Type_class.t