simon/iter
1
0
Fork 0
mirror of https://github.com/c-cube/iter.git synced 2025-12-06 03:05:29 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

perf: use Set.elements to convert to list

Browse source
This commit is contained in:
Simon Cruanes 2018-06-01 19:48:17 -05:00
parent 062d8bd08e
commit 0eeebdc555
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/Sequence.ml
View file

@ -1197,13 +1197,12 @@ module Set = struct
let to_seq_ set k = X.iter k set
let of_seq_ seq = fold (fun set x -> X.add x set) X.empty seq
let to_list set = to_list (to_seq_ set)
include X
let to_seq = to_seq_
let of_seq = of_seq_
let of_list l = List.fold_left (fun set x -> add x set) empty l
let to_list = elements
end
(** Functor to build an extended Set module from an ordered type *)