Skip to content

Commit

Permalink
docs(Trie): fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
favonia committed Jun 19, 2024
1 parent cf486aa commit e88f718
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 @@ -164,7 +164,7 @@ val map_tag : ('tag1 -> 'tag2) -> ('data, 'tag1) t -> ('data, 'tag2) t
(** [retag tag t] changes all tags within [t] to [tag] in O(1) time. It is equivalent to {!val:map_tag}[ (fun _ -> tag) t] but usually more efficient. The data remain intact. *)
val retag : 'tag -> ('data, _) t -> ('data, 'tag) t

(** [retag_subtree tag path t] changes all tags within the subtrie rooted at [path] to [tag] efficiently. The data remain intact. *)
(** [retag_subtree path tag t] changes all tags within the subtrie rooted at [path] to [tag] efficiently. The data remain intact. *)
val retag_subtree : path -> 'tag -> ('data, 'tag) t -> ('data, 'tag) t

(** [untag t] is [retag () t]. *)
Expand Down

0 comments on commit e88f718

Please sign in to comment.