diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/tbl.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/tbl.mli b/utils/tbl.mli index 71c348efae..21c89b04fe 100644 --- a/utils/tbl.mli +++ b/utils/tbl.mli @@ -22,7 +22,7 @@ val add: 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t val find: 'a -> ('a, 'b) t -> 'b val mem: 'a -> ('a, 'b) t -> bool val remove: 'a -> ('a, 'b) t -> ('a, 'b) t -val iter: ('a -> 'b -> 'c) -> ('a, 'b) t -> unit +val iter: ('a -> 'b -> unit) -> ('a, 'b) t -> unit val map: ('a -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t open Format |