diff --git a/src/pvec/containers_pvec.ml b/src/pvec/containers_pvec.ml index ac83d9e3..d622583f 100644 --- a/src/pvec/containers_pvec.ml +++ b/src/pvec/containers_pvec.ml @@ -1,4 +1,4 @@ -(* HAMT. +(* Persistent vector structure with fast get/push/pop. We follow https://hypirion.com/musings/understanding-persistent-vector-pt-1 and following posts. *)