From 7197950bf2cf9dd6f986475e76f28c5ef9d0db5a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 24 Feb 2024 11:12:34 -0500 Subject: [PATCH] do not use exposed type in meta map --- src/core/meta_map.ourown.ml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/core/meta_map.ourown.ml b/src/core/meta_map.ourown.ml index 89b6d96..ede37a6 100644 --- a/src/core/meta_map.ourown.ml +++ b/src/core/meta_map.ourown.ml @@ -83,7 +83,9 @@ let remove (type a) (k : a Key.t) t = let cardinal t = M.cardinal t let length = cardinal -let iter f t = M.iter (fun _ p -> f (pair_of_e_pair p)) t -let to_list t = M.fold (fun _ p l -> pair_of_e_pair p :: l) t [] -let add_list t l = List.fold_right add_pair_ l t -let of_list l = add_list empty l +let iter f (self : t) = M.iter (fun _ p -> f (pair_of_e_pair p)) self + +let to_list (self : t) : binding list = + M.fold (fun _ p l -> pair_of_e_pair p :: l) self [] + +let add_list (self : t) l = List.fold_right add_pair_ l self