Buf_pool.List_with_len
type +'a t =
| Nil
| Cons of int * 'a * 'a t
val empty : 'a t
val len : 'a t -> int
val cons : 'a -> 'b t -> 'b t