diff --git a/.merlin b/.merlin index 5c6c5ba4..d0a5cac0 100644 --- a/.merlin +++ b/.merlin @@ -35,4 +35,4 @@ PKG bigarray PKG sequence PKG hamt PKG gen -FLG -w +a -w -4 -w -44 -w -32 -w -34 +FLG -w +a -w -4 -w -44 diff --git a/src/data/CCHashTrie.ml b/src/data/CCHashTrie.ml index 6ed3c890..30600f7f 100644 --- a/src/data/CCHashTrie.ml +++ b/src/data/CCHashTrie.ml @@ -15,7 +15,6 @@ module type FIXED_ARRAY = sig val length_log : int val length : int (* 2 power length_log *) val get : 'a t -> int -> 'a - val set : 'a t -> int -> 'a -> 'a t val set : mut:bool -> 'a t -> int -> 'a -> 'a t val update : mut:bool -> 'a t -> int -> ('a -> 'a) -> 'a t val remove : empty:'a -> 'a t -> int -> 'a t (* put back [empty] there *) diff --git a/src/data/CCHashTrie.mli b/src/data/CCHashTrie.mli index e3efb50b..9b0bb2dd 100644 --- a/src/data/CCHashTrie.mli +++ b/src/data/CCHashTrie.mli @@ -21,7 +21,10 @@ type 'a gen = unit -> 'a option type 'a printer = Format.formatter -> 'a -> unit type 'a ktree = unit -> [`Nil | `Node of 'a * 'a ktree list] -(** {2 Fixed-Size Arrays} *) +(** {2 Fixed-Size Arrays} + +Mostly an internal implementation detail *) + module type FIXED_ARRAY = sig type 'a t val create : empty:'a -> 'a t