Module Terms.Builder

val nb_binary_terms : int Stdlib.ref

Some metrics: number of total terms, number of union-find unions performed and cluster sizes

val nb_unions : int Stdlib.ref

val sizes : (int, int) Stdlib.Hashtbl.t

module Make (Condition : Condition_map.CONDITION) (Relation : Union_Find.Parameters.GENERIC_GROUP) () : Sig.TERMS with module Condition = Condition and module Relation = Relation