You can search for identifiers within the package.
in-package search v0.2.0
ego
Ego.Id
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.
t
Ego
type t = private int
An abstract datatype used to represent equivalence classes in Ego.