sig
  type io_in = Fragments.io_in
  type io_out = Fragments.io_out
  exception Unknown_constructor
  type 'a r = Io.io_in -> 'a
  type 'a w = '-> Io.io_out -> unit
  type 'a literate = 'Io.r * 'Io.w
  type 'a sum_io_spec =
      (string -> 'Io.r) * ('-> string * (Io.io_out -> unit))
  type 'a record_io_spec =
      (string * ('-> Io.io_in -> 'a) * ('-> Io.io_out -> unit)) list
  type ('a, 'b) iterator = '-> ('-> unit) -> unit
  type ('a, 'b) builder = unit -> ('-> unit) * (unit -> 'b)
  type ('a, 'b) collection_io_spec =
      'Io.literate * ('a, 'b) Io.iterator * ('a, 'b) Io.builder
  val assoc3 : '-> ('a * 'b * 'c) list -> 'b * 'c
  val read : 'Io.literate -> Io.io_in -> 'a
  val write : 'Io.literate -> '-> Io.io_out -> unit
  val write_and_flush : 'Io.literate -> '-> Io.io_out -> unit
  val finish : Io.io_in -> unit
  val flush : Io.io_out -> unit
  val io_int : int Io.literate
  val io_int64 : int64 Io.literate
  val io_string : string Io.literate
  val io_char : char Io.literate
  val io_bool : bool Io.literate
  val io_float : float Io.literate
  val io_unit : unit Io.literate
  val io_convert :
    ('-> 'b) -> ('-> 'a) -> 'Io.literate -> 'Io.literate
  val io_pair : 'Io.literate -> 'Io.literate -> ('a * 'b) Io.literate
  val io_triple :
    'Io.literate ->
    'Io.literate -> 'Io.literate -> ('a * 'b * 'c) Io.literate
  val io_quadruple :
    'Io.literate ->
    'Io.literate ->
    'Io.literate -> 'Io.literate -> ('a * 'b * 'c * 'd) Io.literate
  val io_list : 'Io.literate -> 'a list Io.literate
  val io_array : 'Io.literate -> 'a array Io.literate
  val io_hashtbl :
    'Io.literate -> 'Io.literate -> ('a, 'b) Hashtbl.t Io.literate
  val io_record : 'Io.record_io_spec -> '-> 'Io.literate
  val io_collection : ('a, 'b) Io.collection_io_spec -> 'Io.literate
  val io_sum : 'Io.sum_io_spec -> 'Io.literate
  val io_option : 'Io.literate -> 'a option Io.literate
  val io_not_implemented : 'Io.literate
  val convert : reader:Io.io_in -> writer:Io.io_out -> unit -> unit
  val dump : reader:Io.io_in -> unit -> unit
end