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

fix type mismatch

Browse source
This commit is contained in:
Simon Cruanes 2014-06-25 23:34:43 +02:00
parent 8bd2706ed5
commit 451e761c8e
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/CCHeap.ml
View file

@ -26,9 +26,9 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
(** {1 Leftist Heaps} *) (** {1 Leftist Heaps} *)
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
type 'a gen = unit -> 'a option type 'a gen = unit -> 'a option
type 'a tree = unit -> [`Nil | `Node of 'a * 'a tree list] type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
type 'a ktree = unit -> [`Nil | `Node of 'a * 'a ktree list]
module type PARTIAL_ORD = sig module type PARTIAL_ORD = sig
type t type t
@ -99,7 +99,7 @@ module type S = sig
val of_gen : t -> elt gen -> t val of_gen : t -> elt gen -> t
val to_gen : t -> elt gen val to_gen : t -> elt gen
val to_tree : t -> elt tree val to_tree : t -> elt ktree
end end
module Make(E : PARTIAL_ORD) = struct module Make(E : PARTIAL_ORD) = struct

6
core/CCHeap.mli
View file

@ -26,9 +26,9 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
(** {1 Leftist Heaps} following Okasaki *) (** {1 Leftist Heaps} following Okasaki *)
type 'a sequence = ('a -> unit) -> unit type 'a sequence = ('a -> unit) -> unit
type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
type 'a tree = unit -> [`Nil | `Node of 'a * 'a tree list]
type 'a gen = unit -> 'a option type 'a gen = unit -> 'a option
type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
type 'a ktree = unit -> [`Nil | `Node of 'a * 'a ktree list]
module type PARTIAL_ORD = sig module type PARTIAL_ORD = sig
type t type t
@ -99,7 +99,7 @@ module type S = sig
val of_gen : t -> elt gen -> t val of_gen : t -> elt gen -> t
val to_gen : t -> elt gen val to_gen : t -> elt gen
val to_tree : t -> elt tree val to_tree : t -> elt ktree
end end
module Make(E : PARTIAL_ORD) : S with type elt = E.t module Make(E : PARTIAL_ORD) : S with type elt = E.t