Parameter Make.Refill

type src
val refill : src -> bytes -> pos:int -> len:int -> [ `Ok of int | `Eof ] IO.t