Lazy_vector_encoding (mavkit-libs.Mavryk_tree_encoding.Lazy_vector

module type Lazy_vector_sig = sig ... end

module type S = sig ... end

module Make
  (Vector : Lazy_vector_sig) : 
  S with type 'a vector := 'a Vector.t and type key := Vector.key