module Dynamic_buffer:sig..end
type 'a t
exception Exhausted
val make : int -> int -> int -> 'a -> 'a t
val position : 'a t -> int -> unit
val next : 'a t -> 'a
val add : 'a t -> 'a -> unit
val reset : 'a t -> unit
val is_empty : 'a t -> bool
val get_position : 'a t -> int