Expr_raw.Hc
val clear : unit -> unit
clear () clears the hash-consing table.
clear ()
val stats : unit -> Smtml_prelude.Hashtbl.statistics
stats () returns statistics about the hash-consing table.
stats ()
val length : unit -> int
length () returns the number of entries in the hash-consing table.
length ()