simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-07 11:45:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix small detail s in CCHeap

Browse source
This commit is contained in:
Simon Cruanes 2018-05-29 11:17:11 -05:00
parent ba633d5d3c
commit 1adfc01cf0
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/CCHeap.ml
View file

@ -421,7 +421,7 @@ module Make_from_compare(E : TOTAL_ORD) =
(*$QR
Q.(list_of_size Gen.(return 1_000) int) (fun l ->
let module H' = Make_from_compare(Int) in
let module H' = Make_from_compare(CCInt) in
let h = H'.of_list l in
let l' = H'.to_list_sorted h in
is_sorted l'

5
src/core/CCHeap.mli
View file

@ -148,7 +148,8 @@ end
module Make(E : PARTIAL_ORD) : S with type elt = E.t
(** A convenient version Make that take a TOTAL_ORD instead
(** A convenient version of [Make] that take a [TOTAL_ORD] instead of
a partially ordered module.
It allow to directly pass modules that implement [compare]
without implementing [leq] *)
without implementing [leq] explicitly *)
module Make_from_compare(E : TOTAL_ORD) : S with type elt = E.t