diff --git a/src/Trie.mli b/src/Trie.mli index 01535b2e..c04da8e9 100644 --- a/src/Trie.mli +++ b/src/Trie.mli @@ -167,5 +167,5 @@ val retag_subtree : path -> 'tag -> ('data, 'tag) t -> ('data, 'tag) t (** [untag t] is [retag () t]. *) val untag : ('data, _) t -> 'data untagged -(** [set_of_tags cmp t] returns the set of tags used in a trie, but as a [Seq.t]. [cmp] is the tag comparator for internal tag sorting. *) +(** [set_of_tags cmp t] returns the set of tags used in a trie, but as a [Seq.t]. [cmp] is the tag comparator for consolidating tags. *) val set_of_tags : ('tag -> 'tag -> int) -> ('data, 'tag) t -> 'tag Seq.t