Up

module Unionfind

: sig

#

module type HashedOrderedType = sig

#

type t

#

val equal : t -> t -> bool

#

val hash : t -> int

#

val compare : t -> t -> int

end

#

module type S = sig

#

type elt

#

type t

#

val init : elt list -> t

#

val find : elt -> t -> elt

#

val union : elt -> elt -> t -> unit

end

#

module Make : functor (X : HashedOrderedType) -> S with type elt = X.t

end