You can search for identifiers within the package.
in-package search v0.2.0
inferno
Inferno
module Generalization : sig ... end
module InfiniteArray : sig ... end
module Option : sig ... end
module SolverHi : sig ... end
module SolverLo : sig ... end
module SolverSig : sig ... end
module TRef : sig ... end
module TUnionFind : sig ... end
module Unifier : sig ... end
module UnifierSig : sig ... end
module UnionFind : sig ... end
This module implements a simple and efficient union/find algorithm. See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set Union Algorithm'', JACM 22(2), 1975.
module Utils : sig ... end