sig
  type t = MakeDecode(ID_MONAD).t
  val make : ?bufsize:int -> (Bytes.t -> int -> int -> int ID_MONAD.t) -> t
  val next : t -> sexp parse_result ID_MONAD.t
end