simon/ocaml-trace
1
0
Fork 0
mirror of https://github.com/ocaml-tracing/ocaml-trace.git synced 2026-03-09 12:23:32 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

do not use exposed type in meta map

Browse source
This commit is contained in:
Simon Cruanes 2024-02-24 11:12:34 -05:00
parent c29900d813
commit 7197950bf2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/core/meta_map.ourown.ml
View file

@ -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