sig   type 'a t = 'a RingBuffer.Committed.t   type st = Internal_buffer.st = St   type bs = Internal_buffer.bs = Bs   val write : 'a MrMime_input.t -> 'a Internal_buffer.t -> int -> int -> unit   val write_string : 'a MrMime_input.t -> string -> int -> int -> unit   val create_bytes : int -> MrMime_input.st MrMime_input.t   val create_bigstring : int -> MrMime_input.bs MrMime_input.t   val size : 'a MrMime_input.t -> int   val peek : 'a MrMime_input.t -> 'a Internal_buffer.t -> int -> int -> unit   val read : 'a MrMime_input.t -> 'a Internal_buffer.t -> int -> int -> unit   val read_space :     'a MrMime_input.t -> ('a Internal_buffer.t * int * int) option   val write_space :     'a MrMime_input.t -> ('a Internal_buffer.t * int * int) option   val transmit :     'a MrMime_input.t -> ('a Internal_buffer.t -> int -> int -> int) -> int   val ravailable : 'a MrMime_input.t -> int   val wavailable : 'a MrMime_input.t -> int   val radvance : 'a MrMime_input.t -> int -> unit   val wadvance : 'a MrMime_input.t -> int -> unit   val get : 'a MrMime_input.t -> char   val pp : Format.formatter -> 'a MrMime_input.t -> unit   val proof : 'a MrMime_input.t -> 'a Internal_buffer.t   val savailable : 'a MrMime_input.t -> int end