Skip to content

Commit

Permalink
Format
Browse files Browse the repository at this point in the history
  • Loading branch information
jonludlam committed Nov 7, 2023
1 parent bedeb0c commit 78cfd57
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/loader/ident_env.cppo.mli
Original file line number Diff line number Diff line change
Expand Up @@ -82,5 +82,6 @@ val identifier_of_loc : t -> Location.t -> Paths.Identifier.t option
knowing only the location. This is used to generate links to source from the
resolution of a shape. *)

val iter_located_identifier : t -> (Location.t -> Paths.Identifier.t -> unit) -> unit
val iter_located_identifier :
t -> (Location.t -> Paths.Identifier.t -> unit) -> unit
(** Iter on all stored pair [location]-[identifier]. *)

0 comments on commit 78cfd57

Please sign in to comment.