package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : SetS
module M : MapS with type key = S.elt

Signature

type elt = S.elt

The type of elements in the partition

type set = S.t

A set structure over elements

type t

The type of partitions

val create : unit -> t

Initialise an empty partition

val add : elt -> t -> unit

Add (in place) an element in the partition, or do nothing if the element is already in the partition.

val find : elt -> t -> elt

Find the canonical representative of an element. Raise not_found if the element isn't known yet.

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

Merge (in place) the equivalence classes of two elements. This will add the elements in the partition if necessary.

val union_set : set -> t -> unit

Merge (in place) the equivalence classes of many elements.

val partition : t -> set list

Listing the different components of the partition

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct