functor (S : Core.Std.Substring_intf.S) ->
  functor (Name : sig val name : string end) ->
    sig
      val read_available :
        Reader0.Internal.t -> S.t -> [> `Ok of Core.Std.Int.t ]
      val read :
        Reader0.Internal.t ->
        S.t -> [> `Eof | `Ok of Core.Std.Int.t ] Import.Deferred.t
      val really_read :
        Reader0.Internal.t -> S.t -> [> `Eof of int | `Ok ] Import.Deferred.t
    end