Make.Input
type t
module Monad : sig ... end
val read_string : t -> int -> (string, string) result Monad.t
val read_char : t -> (char, string) result Monad.t