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