module Dynamic_buffer:sig..end
type 'a t
exception Exhausted
val make : int -> int -> int -> 'a -> 'a tval position : 'a t -> int -> unitval next : 'a t -> 'aval add : 'a t -> 'a -> unitval reset : 'a t -> unitval is_empty : 'a t -> boolval get_position : 'a t -> int