diff options
Diffstat (limited to 'typing/ident.mli')
-rw-r--r-- | typing/ident.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/ident.mli b/typing/ident.mli index 05a675d66e..e27d4d4a64 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -57,3 +57,5 @@ val find_name: string -> 'a tbl -> 'a val find_all: string -> 'a tbl -> 'a list val fold_name: (t -> 'a -> 'b -> 'b) -> 'a tbl -> 'b -> 'b val fold_all: (t -> 'a -> 'b -> 'b) -> 'a tbl -> 'b -> 'b +val iter: (t -> 'a -> unit) -> 'a tbl -> unit + |