package fungi

  1. Overview
  2. Docs

Module Unionfind.MakeDisjointSetSource

Parameters

Signature

Sourcetype elt = Ord.t
Sourcemodule BijectTbl : Hashtbl.S with type key = elt
Sourcemodule ResolvTbl : Hashtbl.S with type key = int
Sourcetype t = {
  1. map : int BijectTbl.t;
  2. arr : int array;
  3. sze : int array;
  4. mutable count : int;
}
Sourceval create : int -> elt Seq.t -> t
Sourceval find : elt -> t -> int
Sourceval union : t -> elt -> elt -> unit