Lazy_vector_encoding.Make
module Vector : Lazy_vector_sig
val lazy_vector : Vector.key t -> 'a t -> 'a Vector.t t