From 813ea40ac5f47faf4750abecb4e4e927118cc4e1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 8 Jan 2024 23:49:38 -0500 Subject: [PATCH] comment --- src/pvec/containers_pvec.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. *)