package union-find-lattice

You can search for identifiers within the package.

in-package search v0.2.0

Persistent union-find data-structures with lattice operations (order, meet, join)

Install

dune-project

Dependency

codex.top Edit opam file Versions (1)

Authors

Maintainers

Sources

union-find-lattice-0.1.0.tbz

sha256=ecaf1444cd0e9d21174d854da0d2eea56d685180cc1e098016e2c66bc809f8ab

sha512=f12612357504879f78094ffa623bf44ec87c7f7adeeea1809c0b74fdf41e51a88958634d51d3f8bd8881c577a635ef81beaff91d0361195f9a65a5724ce096a9

doc/union-find-lattice.utils/Utils/HetHashtbl/index.html

Module `Utils.HetHashtbl`Source

Most of this code is adapated from the OCaml Standard library's implementation of Hashtbl. It is just adapted for polymorphic types. I.E. a 'b t hashtabl binding 'a key to ('a,'b) value (note that 'a is quantified existantially here).

Copyright 1996 Institut National de Recherche en Informatique et en Automatique. distributed under the terms of the GNU Lesser General Public License version 2.1, with the special exception on linking described in the license

Sourcemodule type HETEROGENEOUS_HASHED_TYPE = sig ... end

Sourcemodule type HETEROGENEOUS_SEEDED_HASHED_TYPE = sig ... end

Sourceval is_randomized : unit -> bool

Sourcemodule type S = sig ... end

Source

module MakeSeeded
  (Key : HETEROGENEOUS_SEEDED_HASHED_TYPE)
  (Value : PatriciaTree.HETEROGENEOUS_VALUE) : 
  S
    with type 'key key = 'key Key.t
     and type ('key, 'a) value = ('key, 'a) Value.t