package ego

  1. Overview
  2. Docs

This module provides an implementation of an efficient union-find data-structure. It's main exported type, t, is used to represent equivalence classes in the EGraph data-structures provided by Ego.

type t = private int

An abstract datatype used to represent equivalence classes in Ego.

OCaml

Innovation. Community. Security.