Update belt_HashMapInt

ryyppy · ryyppy · commit f835e3755125 · 2022-06-08T20:06:33.000+02:00
diff --git a/jscomp/others/belt_HashMapInt.mli b/jscomp/others/belt_HashMapInt.mli
@@ -1,10 +1,14 @@
 (** Specalized when key type is `int`, more efficient than the generic type *)
 
 # 4 "others/hashmap.cppo.mli"
+
+(** Type of the `Belt.HashMap.Int` key. *)
 type key = int
 
 
 # 10 "others/hashmap.cppo.mli"
+
+(** Type of the `Belt.HashMap.Int` *)
 type 'b t
 
 
