Skip to content

Commit

Permalink
docs(Trie): tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
favonia committed Sep 23, 2023
1 parent 05ba486 commit 4ea275e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Trie.mli
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 4ea275e

Please sign in to comment.