You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Terms.Builder
val nb_binary_terms : int ref
Some metrics: number of total terms, number of union-find unions performed and cluster sizes
val nb_unions : int ref
val sizes : (int, int) Hashtbl.t
module Make (Condition : Condition_map.CONDITION) (Relation : Union_Find.Parameters.GENERIC_GROUP) () : Sig.TERMS with module Condition = Condition and module Relation = Relation