From 9d3e175a883124084304b268b58aa57d51d936a9 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Thu, 28 Mar 2024 17:17:47 +0100 Subject: [PATCH] Add a comment --- lib/identifier.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/identifier.ml b/lib/identifier.ml index 50e5bfc..fb94397 100644 --- a/lib/identifier.ml +++ b/lib/identifier.ml @@ -1,5 +1,6 @@ type t = string [@@deriving eq, ord, show] +(** Generate new unique id *) let fresh = let r = ref 0 in fun () ->