Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
Co-authored-by: favonia <[email protected]>
  • Loading branch information
dannypsnl and favonia authored Jan 10, 2025
1 parent 8bec9b4 commit 57a4cc8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ScopeSigs.ml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ sig
Inclusion affects both visible and export namespaces, just like [include] in OCaml. *)

val include_singleton : ?context_visible:context -> ?context_export:context -> Trie.path -> (data * tag) -> unit
val include_singleton : ?context_visible:context -> ?context_export:context -> Trie.path -> (data * tag) -> unit
(** [include_singleton (p, x)] adds a new binding to both the visible and export namespaces, where the binding is associating the data [x] to the path [p].
Conflicting names during the final merge will trigger the effect [shadow].
[include_singleton (p, x)] is equivalent to [include_subtree Trie.(singleton (p, x))], but potentially more efficient.
Expand Down

0 comments on commit 57a4cc8

Please sign in to comment.